On the Send-Synchronizability Problem for Mailbox Communication.

Romain Delpy, Anca Muscholl, Grgoire Sutre

Browse the full CONCUR paper archive.