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.
翻译:我们建议对多党会议进行非同步的解读,将多党会议解释为流动事件结构。 我们为不同步多党会议引入了新的全球类型概念,确保会议预期的特性,包括进展。 我们的全球类型比标准全球类型更直接反映无同步,更宽容,本身被解释为主要事件结构。 其主要结果是,当会议可打字时,会议对事件结构的解释相当于事件结构对全球类型的解释。