Event structure semantics for multiparty sessions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Journal of Logical and Algebraic Methods in Programming Année : 2023

Event structure semantics for multiparty sessions

Résumé

We propose an interpretation of multiparty sessions as Flow Event Structures, which allows concurrency within sessions to be explicitly represented. We show that this interpretation is equivalent, when the multiparty sessions can be described by global types, to an interpretation of such global types as Prime Event Structures.
Fichier principal
Vignette du fichier
cdgS22.pdf (428.29 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03940191 , version 1 (28-01-2023)

Licence

Paternité

Identifiants

Citer

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini. Event structure semantics for multiparty sessions. Journal of Logical and Algebraic Methods in Programming, 2023, 131, ⟨10.1016/j.jlamp.2022.100844⟩. ⟨hal-03940191⟩
91 Consultations
20 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More