Skip to Main content Skip to Navigation
Conference papers

Event Structure Semantics for Multiparty Sessions

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-02420485
Contributor : Ilaria Castellani <>
Submitted on : Thursday, December 19, 2019 - 10:09:16 PM
Last modification on : Tuesday, January 21, 2020 - 11:10:37 AM

Links full text

Identifiers

Collections

Citation

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini. Event Structure Semantics for Multiparty Sessions. Models, Languages, and Tools for Concurrent and Distributed Programming - Hommage to Rocco De Nicola on the Occasion of His 65th Birthday, Michele Boreale; Flavio Corradini; Michele Loreti; Rosario Pugliese, Jul 2019, Lucca, Italy. pp.340-363, ⟨10.1007/978-3-030-21485-2_19⟩. ⟨hal-02420485⟩

Share

Metrics

Record views

90