We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the mCRL specification language. The mCRL2 language extends a timed basic process algebra with the possibility to define and use abstract data types. The mCRL2 data language features predefined and higher-order data types. The process algebraic part of mCRL2 allows a faithful translation of coloured Petri nets and component based systems: we have introduced multiactions and we have separated communication and parallelism.
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany
E. Brinksma , D. Harel , A. H. Mader (Angelika) , P. Stevens , R.M.A. Wieringa
Dagstuhl Seminar Proceedings
Methods for Modelling Software Systems
Computer Security

Groote, J.F, Mathijssen, A.H.J, Usenko, Y.S, Reniers, M.A, & van Weerdenburg, M.J. (2007). The Formal Specification Language mCRL2. In E Brinksma, D Harel, A. H Mader, P Stevens, & R.M.A Wieringa (Eds.), Proc. Methods for Modelling Software Systems (MMOSS) (pp. 1–15). Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany.