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
Contributor : Ilaria Castellani Connect in order to contact the contributor
Submitted on : Thursday, December 19, 2019 - 10:09:16 PM
Last modification on : Saturday, June 25, 2022 - 11:41:51 PM

Links full text




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⟩



Record views