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]
@inproceedings{DelpyMS25,
title = {On the Send-Synchronizability Problem for Mailbox Communication},
author = {Romain Delpy and Anca Muscholl and Grégoire Sutre},
year = {2025},
doi = {10.4230/LIPIcs.CONCUR.2025.15},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2025.15},
researchr = {https://researchr.org/publication/DelpyMS25},
cites = {0},
citedby = {0},
booktitle = {36th International Conference on Concurrency Theory, CONCUR 2025, August 26-29, 2025, Aarhus, Denmark},
editor = {Patricia Bouyer and Jaco van de Pol},
volume = {348},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-389-8},
}