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.
翻译:我们提出了一种将异步通信的多方会话解释为流事件结构的方法。针对异步多方会话,我们引入了一种新的全局类型概念,确保会话具有预期的性质,包括进展性。我们的全局类型比标准全局类型更直接地反映异步性,且更为灵活,其本身被解释为质事件结构。主要结果表明,当会话可类型化时,会话的事件结构解释与其全局类型的事件结构解释等价。