Global types and event structure semantics for asynchronous multiparty sessions
This work provides a foundational semantic framework for asynchronous multiparty sessions, benefiting researchers in concurrency theory and session types.
The paper introduces a new notion of global types for asynchronous multiparty sessions that directly models asynchrony and is more permissive than standard global types, and shows that the event structure interpretation of a session is equivalent to that of its global type when typable.
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.