@misc{indiciae423cc111e0ec,
  title = {Synchronisability in Mailbox Communication},
  author = {Cinzia Di Giusto and Laetitia Laversa and Kirstin Peters},
  year = {2024},
  doi = {10.4204/eptcs.412.3},
  url = {https://arxiv.org/abs/2411.14580},
  note = {Source identifier: 2411.14580}
}