Event structure semantics for multiparty sessions

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 type...

Full description

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 131; p. 100844
Main Authors Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola
Format Journal Article
LanguageEnglish
Published Elsevier Inc 01.02.2023
Elsevier
Subjects
Communication-based programming
Communication-centric systems
Computer Science
Event structures
Multiparty session types
Process calculi
Ubiquitous Computing
Event structures
Communication-based programming
Multiparty session types
Communication-centric systems
Process calculi
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:2352-2208
DOI:10.1016/j.jlamp.2022.100844