5 papers
On the Impact of the Communication Model on Realisability
Cinzia Di Giusto, Etienne Lozes, Pascal Urso
Multiparty Session Types (MPST) provide a type-theoretic foundation for specifying and verifying communication protocols in distributed systems. MPST rely on the notion of global t…
Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
Cinzia Di Giusto, Giorgio Bacci
This volume contains the proceedings of EXPRESS/SOS 2025: the Combined 32nd International Workshop on Expressiveness in Concurrency and the 22nd Workshop on Structural Operational…
Proceedings 18th Interaction and Concurrency Experience
Clément Aubert, Cinzia Di Giusto, Simon Fowler +1
This volume contains the proceedings of ICE'25, the 18th Interaction and Concurrency Experience, which was held on Friday 20th June 2025 at the Ãcole National Supérieure des Arts…
Proceedings 17th Interaction and Concurrency Experience
Clément Aubert, Cinzia Di Giusto, Simon Fowler +1
This volume contains the proceedings of ICE'24, the 17th Interaction and Concurrency Experience, which was held on Friday 21th June 2024 at the University of Groningen in Groningen…
Synchronisability in Mailbox Communication
Cinzia Di Giusto, Laetitia Laversa, Kirstin Peters
We revisit the problem of synchronisability for communicating automata, i.e., whether the language of send messages for an asynchronous system is the same as the language of send m…