Event Structure Semantics for Multiparty Sessions

Ilaria Castellani (1) , Mariangiola Dezani-Ciancaglini (2) , Paola Giannini (3)

1 INDES - Secure Diffuse Programming
2 Dipartimento di Informatica [Torino]
3 Università del Piemonte Orientale - Dipartimento DISIT Italy

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.

Domaines: Informatique ubiquitaire

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⟩