混合会话：磁带的另一面
编程语言
2020-04-06 v1 计算机科学中的逻辑
摘要
关于混合会话的原创论文引入了磁带的 A 面：存在从经典会话到混合会话的编码。这里我们呈现 B 面：存在从（一个子集的）混合会话到经典会话类型的翻译。我们证明该翻译根据 Kouzapas、Pérez 和 Yoshida 提出的标准是一个极小编码。
引用
@article{arxiv.2004.01324,
title = {Mixed Sessions: the Other Side of the Tape},
author = {Filipe Casal and Andreia Mordido and Vasco T. Vasconcelos},
journal= {arXiv preprint arXiv:2004.01324},
year = {2020}
}
备注
In Proceedings PLACES 2020, arXiv:2004.01062