Analysis of distributed systems with mCRL2

MaRDI QIDQ3614665zbMATH OpenFDO

Authors Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Michel A. Reniers, Y. S. Usenko

Publication date 9 March 2009

zbMATH Keywords

mCRL2 language

Mathematics Subject Classification ID

Distributed systems (68M14) Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An overview of the mCRL2 toolset and its recent advances
• scientific article; zbMATH DE number 1796138
• scientific article; zbMATH DE number 3898215
• From CRL to mCRL2: motivation and outline
• Analysis of a distributed system for lifting trucks.

Cited in

(17)

• Analysis of a distributed system for lifting trucks.
• mCRL2
• Verification of context-dependent channel-based service models
• Suitability of mCRL2 for concurrent-system design: a 2 2 Switch case study
• Symbolic execution of Reo circuits using constraint automata
• A generic framework for n-protocol compatibility checking
• scientific article; zbMATH DE number 2000362 (Why is no real title available?)
• scientific article; zbMATH DE number 1796138 (Why is no real title available?)
• From CRL to mCRL2: motivation and outline
• An overview of the mCRL2 toolset and its recent advances
• A Multi-Core Solver for Parity Games
• Dynamic consistency in process algebra: from paradigm to ACP
• A linear translation from CTL^* to the first-order modal -calculus
• Formal Methods for the Design of Real-Time Systems
• Analysing AWN-Specifications Using mCRL2 (Extended Abstract)
• Verification of reactive systems via instantiation of parameterised Boolean equation systems
• Lifting non-finite axiomatizability results to extensions of process algebras

This page was built for publication: Analysis of distributed systems with mCRL2

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3614665)