Event structure semantics for multiparty sessions
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini

TL;DR
This paper introduces a novel interpretation of multiparty sessions as flow event structures, enabling explicit representation of concurrent communications, and establishes their equivalence to global types modeled as prime event structures.
Contribution
It presents a new semantic framework for multiparty sessions using flow event structures and proves their equivalence to global types as prime event structures.
Findings
Multiparty sessions can be modeled as flow event structures.
Flow event structures are equivalent to prime event structures for global types.
The approach enhances understanding of concurrency in session semantics.
Abstract
We propose an interpretation of multiparty sessions as "flow event structures", which allows concurrency between communications within a session 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 global types as "prime event structures".
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsBusiness Process Modeling and Analysis · Service-Oriented Architecture and Web Services · Advanced Database Systems and Queries
