Published February 1, 2021
| Version v1
Publication
Global types and event structure semantics for asynchronous multiparty sessions
- Others:
- Secure Diffuse Programming (INDES) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
- Université Côte d'Azur (UCA)
- Dipartimento di Informatica [Torino] ; Università degli studi di Torino = University of Turin (UNITO)
- Università degli studi di Torino = University of Turin (UNITO)
- Università del Piemonte Orientale - Dipartimento DISIT Italy
Description
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.
Additional details
- URL
- https://hal.inria.fr/hal-03126627
- URN
- urn:oai:HAL:hal-03126627v2
- Origin repository
- UNICA