@misc{indiciae46a515eff392,
  title = {Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)},
  author = {Bas van den Heuvel},
  year = {2024},
  url = {https://arxiv.org/abs/2402.09595},
  note = {Source identifier: 2402.09595}
}