8 citations · 11 across the 3 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.DC2021★ 2 cited
Towards Generalised Half-Duplex Systems
Cinzia Di Giusto, Loïc Germerie Guizouarn, Etienne Lozes
FIFO automata are finite state machines communicating through FIFO queues. They can be used for instance to model distributed protocols. Due to the unboundedness of the FIFO queues…
cs.FL2021
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…