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 :
Reports
Complete list of metadatas

Cited literature [55 references]  Display  Hide  Download

https://hal.inria.fr/hal-02081943
Contributor : Ilaria Castellani <>
Submitted on : Wednesday, March 27, 2019 - 9:20:52 PM
Last modification on : Tuesday, April 9, 2019 - 4:55:35 PM
Long-term archiving on : Friday, June 28, 2019 - 6:26:11 PM

File

RR-9266.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02081943, version 1

Collections

Citation

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

Share

Metrics

Record views

55

Files downloads

101