Event Structure Semantics for Multiparty Sessions

Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola GIANNINI

doi:10.1007/978-3-030-21485-2_19

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: Capitolo in libro/report/atti di convegno › Contributo in volume (Capitolo o Saggio) › peer review

Lingua originale	Inglese
Titolo della pubblicazione ospite	Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
Editore	SPRINGER
Pagine	340-363
Numero di pagine	24
Volume	11665
ISBN (stampa)	978-3-030-21484-5
DOI	https://doi.org/10.1007/978-3-030-21485-2_19
Stato di pubblicazione	Pubblicato - 1 gen 2019

Accesso al documento

10.1007/978-3-030-21485-2_19

Altri file e collegamenti

handle

Cita questo

@inbook{50bf624661344f37878dd7076d789b42,

title = "Event Structure Semantics for Multiparty Sessions",

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

year = "2019",

month = jan,

day = "1",

doi = "10.1007/978-3-030-21485-2_19",

language = "English",

isbn = "978-3-030-21484-5",

volume = "11665",

pages = "340--363",

booktitle = "Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday",

publisher = "SPRINGER",

}

Event Structure Semantics for Multiparty Sessions. / Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; GIANNINI, Paola.
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. Vol. 11665 SPRINGER, 2019. pag. 340-363.

Risultato della ricerca: Capitolo in libro/report/atti di convegno › Contributo in volume (Capitolo o Saggio) › peer review

TY - CHAP

T1 - Event Structure Semantics for Multiparty Sessions

AU - Castellani, Ilaria

AU - Dezani-Ciancaglini, Mariangiola

AU - GIANNINI, Paola

PY - 2019/1/1

Y1 - 2019/1/1

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

U2 - 10.1007/978-3-030-21485-2_19

DO - 10.1007/978-3-030-21485-2_19

M3 - Chapter

SN - 978-3-030-21484-5

VL - 11665

SP - 340

EP - 363

BT - Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

PB - SPRINGER

ER -