On the Send-Synchronizability Problem for Mailbox Communication.
Proceedings of the 36th International Conference on Concurrency Theory, 2025
An Automata-Based Approach for Synchronizable Mailbox Communication.
Proceedings of the 35th International Conference on Concurrency Theory, 2024