Corentin Reuther

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

Although significant research has focused on the theory and implementation of data-based coordination languages, the critical aspect of their automated verification using model-checking techniques remains underexplored, which is essential for ensuring reliability and correctness in distributed systems. Existing tools,...