Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions

Article type: Research Article

Authors: Castellani, Ilaria^{a; *} | Dezani-Ciancaglini, Mariangiola^b | Giannini, Paola^{c; †; ‡}

Affiliations: [a] INRIA, Université Côte d’Azur, France. [email protected] | [b] Dipartimento di Informatica, Università di Torino, Italy. [email protected] | [c] DiSSTE, Università del Piemonte Orientale, Italy. [email protected]

Correspondence: [†] Address for correspondence: Computer Science Institute, DiSSTE, Pz. S. Eusebio 5 - 13100 Vercelli, Italy.

Note: [*] This research has been supported by the ANR17-CE25-0014-01 CISC project.

Note: [‡] This original research has the financial support of the Università del Piemonte Orientale. This work was partially funded by the MIUR project “T-LADIES” (PRIN 2020TL3X8X).

Abstract: We propose an interpretation of multiparty sessions with asynchronous communication as Flow Event Structures. We introduce a new notion of asynchronous type for such sessions, ensuring the expected properties for multiparty sessions, including progress. Our asynchronous types, which reflect asynchrony more directly and more precisely 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 asynchronous type, namely their domains of configurations are isomorphic.

Keywords: Communication-centric Systems, Communication-based Programming, Process Calculi, Event Structures, Multiparty Session Types

DOI: 10.3233/FI-242188

Journal: Fundamenta Informaticae, vol. 192, no. 1, pp. 1-75, 2024