Modelling Shared-Space Coordination in mCRL2: a Bach-to-mCRL2 Translation Framework

Corentin Reuther, Jean-Marie Jacquet

Although significant research has focused on the theory and implementation of data-based coordination languages, the critical aspect of their automated verification using model-che…