2024
An Automata-Based Approach for Synchronizable Mailbox Communication.
[DOI]
Romain Delpy
,
Anca Muscholl
,
Grégoire Sutre
Proceedings of the 35th International Conference on Concurrency Theory, 2024