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.
翻译:我们提出了一种将异步通信的多方会话解释为流程事件结构的方法。我们引入了异步多方会话全局类型的新概念,确保会话具有包括进展性在内的预期性质。本文提出的全局类型相比标准全局类型更直接地反映了异步性,且约束条件更为宽松,并将其自身解释为基本事件结构。主要结论是:当会话可类型化时,会话的事件结构解释与其全局类型的事件结构解释等价。