Global types and event structure semantics for asynchronous multiparty sessions
Global types and event structure semantics for asynchronous multiparty sessions
复制标题
异步多方会话的全局类型和事件结构语义
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
P. Giannini
中科院分区：
文献类型：
--
作者：
I. Castellani;M. Dezani;P. Giannini
我们建议将具有异步通信的多方会话解释为流事件结构。我们为异步多方会话引入了全局类型的新概念，确保会话的预期属性，包括进度。我们的全局类型比标准全局类型更直接地反映异步性并且更宽松，它们本身被解释为主要事件结构。主要结果是，当会话可键入时，会话的事件结构解释等效于其全局类型的事件结构解释。
We propose an interpretation of multiparty sessions with asynchronous communication as Flow Event Structures. We introduce a new notion of global type for asynchronous multiparty sessions, ensuring the expected properties for sessions, including progress. Our global types, which reflect asynchrony more directly than standard global types and are more permissive, are themselves interpreted as Prime Event Structures. The main result is that the Event Structure interpretation of a session is equivalent, when the session is typable, to the Event Structure interpretation of its global type.