Event structure semantics for multiparty sessions

Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini

doi:10.1016/j.jlamp.2022.100844

Event structure semantics for multiparty sessions

Ilaria Castellani
, Mariangiola Dezani-Ciancaglini
, Paola Giannini

Dipartimento per lo Sviluppo Sostenibile e la Transizione Ecologica

Risultato della ricerca: Contributo su rivista › Articolo in rivista › peer 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 originale	Inglese
Numero di articolo	100844
Rivista	Journal of Logical and Algebraic Methods in Programming
Volume	131
DOI	https://doi.org/10.1016/j.jlamp.2022.100844
Stato di pubblicazione	Pubblicato - feb 2023

Accesso al documento

10.1016/j.jlamp.2022.100844

Altri file e collegamenti

Link to publication in Scopus

Cita questo

@article{f58a55f49f134e6583aade43e7c6e0c7,

title = "Event structure semantics for multiparty sessions",

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.",

keywords = "Communication-based programming, Communication-centric systems, Event structures, Multiparty session types, Process calculi",

author = "Ilaria Castellani and Mariangiola Dezani-Ciancaglini and Paola Giannini",

note = "Publisher Copyright: {\textcopyright} 2022 Elsevier Inc.",

year = "2023",

month = feb,

doi = "10.1016/j.jlamp.2022.100844",

language = "English",

volume = "131",

journal = "Journal of Logical and Algebraic Methods in Programming",

issn = "2352-2208",

publisher = "Elsevier Inc.",

}

TY - JOUR

T1 - Event structure semantics for multiparty sessions

AU - Castellani, Ilaria

AU - Dezani-Ciancaglini, Mariangiola

AU - Giannini, Paola

PY - 2023/2

Y1 - 2023/2

N2 - 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.

AB - 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.

KW - Communication-based programming

KW - Communication-centric systems

KW - Event structures

KW - Multiparty session types

KW - Process calculi

UR - https://www.scopus.com/pages/publications/85143869354

U2 - 10.1016/j.jlamp.2022.100844

DO - 10.1016/j.jlamp.2022.100844

M3 - Article

SN - 2352-2208

VL - 131

JO - Journal of Logical and Algebraic Methods in Programming

JF - Journal of Logical and Algebraic Methods in Programming

M1 - 100844

ER -

Event structure semantics for multiparty sessions

Abstract

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo