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

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!