An automata-based approach for synchronizable mailbox communication

Romain Delpy, Anca Muscholl, Grégoire Sutre

We revisit finite-state communicating systems with round-based communication under mailbox semantics. Mailboxes correspond to one FIFO buffer per process (instead of one buffer per…