Event structure semantics for multiparty sessions

DOI10.1007/978-3-030-21485-2_19OpenAlexW2944259035MaRDI QIDQ6199114

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini

Publication date: 23 February 2024

Published in: Models, Languages, and Tools for Concurrent and Distributed Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-21485-2_19

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Branching Pomsets for Choreographies

This page was built for publication: Event structure semantics for multiparty sessions