Event structure semantics for multiparty sessions

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini

Risultato della ricerca: Contributo su rivistaArticolo in rivistapeer review

Abstract

We propose an interpretation of multiparty sessions as Flow Event Structures, which allows concurrency within sessions 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 such global types as Prime Event Structures.

Lingua originaleInglese
Numero di articolo100844
RivistaJournal of Logical and Algebraic Methods in Programming
Volume131
DOI
Stato di pubblicazionePubblicato - feb 2023

Fingerprint

Entra nei temi di ricerca di 'Event structure semantics for multiparty sessions'. Insieme formano una fingerprint unica.

Cita questo