定时会话类型
摘要：计时会话类型是对会话两个端点之间的计时通信协议的形式化描述。它们具有可决定的符合关系，该关系在计时环境下推广了非计时会话类型的基于进展的符合关系。我们展示了一种可靠完备的技术来判断一个计时会话类型是否允许一个符合的会话类型。然后，我们展示了如何构造与给定会话类型最精确相符的会话类型，该构造根据符合关系所导出的子类型偏序关系进行。这些结果是子类型关系的可判定性的理论基础。
作者：Massimo Bartoletti and Tiziana Cimoli and Maurizio Murgia
论文ID：1710.05388
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22