An Automata-Based Approach for Synchronizable Mailbox Communication.

Romain Delpy, Anca Muscholl, Grgoire Sutre

Browse the full CONCUR paper archive.