@misc{indiciae93a833959651,
  title = {Modelling Shared-Space Coordination in mCRL2: a Bach-to-mCRL2 Translation Framework},
  author = {Corentin Reuther and Jean-Marie Jacquet},
  year = {2026},
  doi = {10.4204/eptcs.453.5},
  url = {https://arxiv.org/abs/2609.37726},
  note = {Source identifier: 2609.37726}
}