当前位置: X-MOL 学术arXiv.cs.LO › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Mixed Sessions: the Other Side of the Tape
arXiv - CS - Logic in Computer Science Pub Date : 2020-04-03 , DOI: arxiv-2004.01324
Filipe Casal (LASIGE, Faculdade de Ci\^encias, Universidade de Lisboa, Portugal), Andreia Mordido (LASIGE, Faculdade de Ci\^encias, Universidade de Lisboa, Portugal), Vasco T. Vasconcelos (LASIGE, Faculdade de Ci\^encias, Universidade de Lisboa, Portugal)

The original paper on Mixed Sessions introduce the side A of the tape: there is an encoding of classical sessions into mixed sessions. Here we present side B: there is a translation of (a subset of) mixed sessions into classical session types. We prove that the translation is a minimal encoding, according to the criteria put forward by Kouzapas, P\'erez, and Yoshida.

中文翻译:

混合会议:磁带的另一面

Mixed Sessions 的原始论文介绍了磁带的 A 面:将经典会话编码为混合会话。在这里,我们呈现 B 面:将(一部分)混合会话转换为经典会话类型。根据 Kouzapas、P\'erez 和 Yoshida 提出的标准,我们证明翻译是一种最小编码。
更新日期:2020-04-06
down
wechat
bug