3 citations · 3 across the 2 of their papers we have counts for
3 papers · 1 filter
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…
On the k-synchronizability of systems
Cinzia Di Giusto, Cinzia Giusto, Laetitia Laversa +1
In this paper, we work on the notion of k-synchronizability: a system is k-synchronizable if any of its executions, up to reordering causally independent actions, can be divided in…