From CRL to mCRL2: motivation and outline

DOI10.1016/J.ENTCS.2005.12.101zbMATH Open1316.68094OpenAlexW2168615519MaRDI QIDQ5262965FDOQ5262965

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

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic process verification.
• Algebraic Methodology and Software Technology
• Title not available (Why is that?)

Cited In (8)

• 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.
• Title not available (Why is that?)
• Analysis of distributed systems with mCRL2
• Title not available (Why is that?)
• Concurrent Kleene Algebra

Uses Software

• SPIN
• mCRL

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)