Skip to Main content Skip to Navigation
Conference papers

Event Structure Semantics for Multiparty Sessions

Ilaria Castellani 1 Mariangiola Dezani-Ciancaglini 2 Paola Giannini 3
1 INDES - Secure Diffuse Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
2 Dipartimento di Informatica [Torino]
3 Università del Piemonte Orientale - Dipartimento DISIT Italy
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

openaccess

Identifiers

Collections

INRIA | UNIV-COTEDAZUR

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

90

 

Contact                    Legal Notice                    Personal Data