1 citations · 1 across the 4 of their papers we have counts for
3 papers · 1 filter
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…