On the Send-Synchronizability Problem for Mailbox Communication

Romain Delpy, Anca Muscholl, Grégoire Sutre. On the Send-Synchronizability Problem for Mailbox Communication. In Patricia Bouyer, Jaco van de Pol, editors, 36th International Conference on Concurrency Theory, CONCUR 2025, August 26-29, 2025, Aarhus, Denmark. Volume 348 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]

Authors

Romain Delpy

This author has not been identified. Look up 'Romain Delpy' in Google

Anca Muscholl

This author has not been identified. Look up 'Anca Muscholl' in Google

Grégoire Sutre

This author has not been identified. Look up 'Grégoire Sutre' in Google