Event structure semantics for multiparty sessions

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of logical and algebraic methods in programming 2023-02, Vol.131, p.100844, Article 100844
Hauptverfasser: Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola
Format: Artikel
Sprache:eng
Schlagworte:
Communication-based programming
Communication-centric systems
Computer Science
Event structures
Multiparty session types
Process calculi
Ubiquitous Computing
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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