2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2026
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…
cs.PL2024★ 2 cited
The B2Scala Tool: Integrating Bach in Scala with Security in Mind
Doha Ouardi, Manel Barkallah, Jean-Marie Jacquet
Process algebras have been widely used to verify security protocols in a formal manner. However they mostly focus on synchronous communication based on the exchange of messages. We…