Global types and event structure semantics for asynchronous multiparty sessions - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2021

Global types and event structure semantics for asynchronous multiparty sessions

Résumé

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.
Fichier principal
Vignette du fichier
cdg.pdf (514.09 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03126627 , version 1 (01-02-2021)
hal-03126627 , version 2 (03-02-2022)

Identifiants

Citer

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini. Global types and event structure semantics for asynchronous multiparty sessions. 2021. ⟨hal-03126627v2⟩
99 Consultations
134 Téléchargements

Altmetric

Partager

More