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

Department of Sustainable Development and Ecological Transition

Research output: Other contribution

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

Original language	English
Publication status	Published - 1 Jan 2022

Keywords

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

Access to Document

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

Cite this

@misc{3ae820fd93ad4c3185d504b033ccc1fb,

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

month = jan,

day = "1",

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/1/1

Y1 - 2022/1/1

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

M3 - Other contribution

ER -

Event structure semantics for multiparty sessions (Extended Version)

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this