Event structure semantics for multiparty sessions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) 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.
Nous proposons une interprétation des sessions multi-parties en structures d’événements à flux, permettant une représentation explicite de la concurrence entre les communications d’une session. Nous montrons que, lorsque les sessions peuvent être décrites par des types globaux, cette interprétation est équivalente à une interprétation des types globaux comme structures d’événements premières.
Fichier principal
Vignette du fichier
RR-9266.pdf (652.37 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02081943 , version 1 (27-03-2019)

Identifiers

  • HAL Id : hal-02081943 , version 1

Cite

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini. Event structure semantics for multiparty sessions. [Research Report] RR-9266, INDES. 2019. ⟨hal-02081943⟩
76 View
199 Download

Share

Gmail Facebook X LinkedIn More