Event structure semantics for multiparty sessions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Logical and Algebraic Methods in Programming Year : 2023

Event structure semantics for multiparty sessions

Abstract

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
Origin Files produced by the author(s)

Dates and versions

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

Licence

Identifiers

Cite

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⟩
94 View
22 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More