Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Global types and event structure semantics for asynchronous multiparty sessions

Abstract : We propose an interpretation of multiparty sessions with asynchronous communication as Flow Event Structures. We introduce a new notion of global type for asynchronous multiparty sessions, ensuring the expected properties for sessions, including progress. Our global types, which reflect asynchrony more directly than standard global types and are more permissive, are themselves interpreted as Prime Event Structures. The main result is that the Event Structure interpretation of a session is equivalent, when the session is typable, to the Event Structure interpretation of its global type.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

https://hal.inria.fr/hal-03126627
Contributor : Ilaria Castellani Connect in order to contact the contributor
Submitted on : Monday, February 1, 2021 - 2:35:29 PM
Last modification on : Thursday, January 20, 2022 - 4:13:15 PM
Long-term archiving on: : Sunday, May 2, 2021 - 6:08:49 PM

Files

cdg.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03126627, version 1
  • ARXIV : 2102.00865

Collections

Citation

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini. Global types and event structure semantics for asynchronous multiparty sessions. 2021. ⟨hal-03126627⟩

Share

Metrics

Les métriques sont temporairement indisponibles