Event structure semantics for multiparty sessions (Extended Version)

Ilaria Castellani; Mariangiola Dezani(-)Ciancaglini; Paola GIANNINI

Event structure semantics for multiparty sessions (Extended Version)

Ilaria Castellani
, Mariangiola Dezani(-)Ciancaglini
, Paola GIANNINI

Dipartimento per lo Sviluppo Sostenibile e la Transizione Ecologica

Risultato della ricerca: Altro contributo

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

Lingua originale	Inglese
Stato di pubblicazione	Pubblicato - 2022

Keywords

Communication-based Programming
Communication-centric Systems
Event Structures
Multiparty Session Types
Process Calculi

Accesso al documento

https://hdl.handle.net/11579/139335

Altri file e collegamenti

handle

Cita questo

@misc{2c5b24fee2f94b41a1e3269bbc400772,

title = "Event structure semantics for multiparty sessions (Extended Version)",

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

keywords = "Communication-based Programming, Communication-centric Systems, Event Structures, Multiparty Session Types, Process Calculi, Communication-based Programming, Communication-centric Systems, Event Structures, Multiparty Session Types, Process Calculi",

author = "Ilaria Castellani and Mariangiola Dezani(-)Ciancaglini and Paola GIANNINI",

year = "2022",

language = "English",

type = "Other",

}

TY - GEN

T1 - Event structure semantics for multiparty sessions (Extended Version)

AU - Castellani, Ilaria

AU - Dezani(-)Ciancaglini, Mariangiola

AU - GIANNINI, Paola

PY - 2022

Y1 - 2022

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

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

KW - Communication-based Programming

KW - Communication-centric Systems

KW - Event Structures

KW - Multiparty Session Types

KW - Process Calculi

KW - Communication-based Programming

KW - Communication-centric Systems

KW - Event Structures

KW - Multiparty Session Types

KW - Process Calculi

UR - https://iris.uniupo.it/handle/11579/139335.4

M3 - Other contribution

ER -

Event structure semantics for multiparty sessions (Extended Version)

Abstract

Keywords

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo