Event Structure Semantics for Multiparty Sessions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2019

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.

Dates and versions

hal-02420485 , version 1 (19-12-2019)

Identifiers

Cite

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⟩
54 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More