From CRL to mCRL2: motivation and outline

DOI10.1016/J.ENTCS.2005.12.101MaRDI QIDQ5262965zbMATH OpenOpenAlexFDO

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

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2005.12.101

zbMATH Keywords

process algebradata typesbehavioural analysismCRL2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Analysis of distributed systems with mCRL2
• scientific article; zbMATH DE number 1796138
• M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages
• scientific article; zbMATH DE number 683363
• Perspectives of System Informatics

Cites work

• scientific article; zbMATH DE number 1696764 (Why is no real title available?)
• scientific article; zbMATH DE number 4157900 (Why is no real title available?)
• scientific article; zbMATH DE number 42237 (Why is no real title available?)
• scientific article; zbMATH DE number 1796138 (Why is no real title available?)
• Algebraic Methodology and Software Technology
• Algebraic process verification.

Cited in

(9)

• Actor-based slicing techniques for efficient reduction of Rebeca models
• Equivalence checking 40 years after: a review of bisimulation tools
• Concurrent Kleene algebra and its foundations
• Analysis of a distributed system for lifting trucks.
• scientific article; zbMATH DE number 1796138 (Why is no real title available?)
• Suitability of mCRL2 for concurrent-system design: a \(2 \times 2\) Switch case study
• Analysis of distributed systems with mCRL2
• scientific article; zbMATH DE number 683363 (Why is no real title available?)
• Concurrent Kleene Algebra

Describes a project that uses

Uses Software

• mCRL
• SPIN

This page was built for publication: From \(\mu\)CRL to mCRL2: motivation and outline

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