2007
The Formal Specification Language mCRL2
Publication
Publication
Presented at the
Methods for Modelling Software Systems, Dagstuhl
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.
| Additional Metadata | |
|---|---|
| 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 | |
| Organisation | Computer Security |
|
Groote, J. F., Mathijssen, A., Usenko, Y., Reniers, M., & van Weerdenburg, M. (2007). The Formal Specification Language mCRL2. In E. Brinksma, D. Harel, A. 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. |
|