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