The Formal Specification Language mCRL2 (2007)


Download Links

by Jan Friso Groote , Aad Mathijssen , Michel Reniers , Yaroslav Usenko , Muck Van Weerdenburg
Venue:In Proceedings of the Dagstuhl Seminar
Citations:29 - 8 self

Active Bibliography

1 eRENA3.1] Demonstration and Evaluation of Inhabited Television, eRENA Deliverable 3.1 – Wan Fokkink, Jun Pang - 1998
4 Verified design of an automated parking garage – Aad Mathijssen, A. Johannes Pretorius - 2007
17 Computer Assisted Manipulation of Algebraic Process Specifications – J. F. Groote, B. Lisser, Jan Friso Groote, Bert Lisser - 2001
1 Designing and understanding the behaviour of systems – Jan Friso Groote, Michel Reniers - 2007
5 Partial-Order Process Algebra (and its Relation to Petri Nets) – J.C.M. Baeten, T. Basten - 2000
11 From μCRL to mCRL2 -- Motivation and Outline – Jan Friso Groote, Aad Mathijssen, Muck Van Weerdenburg, Yaroslav Usenko - 2006
5 Reniers. Timed process algebra (with a focus on explicit termination and relative-timing – J. C. M. Baeten, M. A. Reniers - 2004
8 The cones and foci proof technique for timed transition systems – M. B. van der Zwaag
7 Analysis of Three Hybrid Systems in Time µCRL – Jan Friso Groote, J. J. Van Wamel - 1998
3 Achieving Discrete Relative Timing with Untimed Process Algebra – A. J. Wijs - 2007
3 Action and predicate safety of hybrid processes – P. J. L. Cuijpers, M. A. Reniers - 2004
1 An Arrow Based Semantics for Interactive Applications – Peter Achten, Marko Van Eekelen, Maarten De Mol, Rinus Plasmeijer
10 Model checking a cache coherence protocol for a Java DSM implementation – Jun Pang, Wan Fokkink, Rutger Hofman, Ronald Veldema - 2003
4 A Checker For Modal Formulas For Processes With Data – Jan Friso Groote, Tim A. C. Willemse - 2002
2 Cones and foci: A mechanical framework for protocol verification – Wan Fokkink, Jun Pang, Jaco Pol
CWI, Embedded Systems Group – Wan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco Van De Pol
8 Model-checking processes with data – J. F. Groote, T. A. C. Willemse - 2005
4 Partial Order Reductions using Compositional Confluence Detection – Frédéric Lang, Radu Mateescu - 2009
14 Parameterised Boolean Equation Systems – Jan Friso Groote, Tim Willemse - 2004