TY  - RPRT
TI  - Modelling Shared-Space Coordination in mCRL2: a Bach-to-mCRL2 Translation Framework
AU  - Corentin Reuther
AU  - Jean-Marie Jacquet
PY  - 2026
DO  - 10.4204/eptcs.453.5
UR  - https://arxiv.org/abs/2609.37726
ID  - 2609.37726
ER  -