1 citations · 1 across the 4 of their papers we have counts for
4 papers
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 e…
Realisability and Complementability of Multiparty Session Types
Cinzia Di Giusto, Etienne Lozes, Pascal Urso
Multiparty session types (MPST) are a type-based approach for specifying message-passing distributed systems. They rely on the notion of global type specifying the global behaviour…
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…
Guessing the buffer bound for k-synchronizability
Cinzia Di Giusto, Laetitia Laversa, Etienne Lozes
A communicating system is -synchronizable if all of the message sequence charts representing the executions can be divided into slices of sends followed by receptions. I…