DagSemProc.06351.12.pdf
- Filesize: 410 kB
- 34 pages
Document
The Formal Specification Language mCRL2
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 6351
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2007-04-11
Cite AsGet BibTex
Jan Friso Groote, Aad Mathijssen, Michel Reniers, Yaroslav Usenko, and Muck van Weerdenburg. The Formal Specification Language mCRL2. In Methods for Modelling Software Systems (MMOSS). Dagstuhl Seminar Proceedings, Volume 6351, pp. 1-34, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
https://doi.org/10.4230/DagSemProc.06351.12
https://doi.org/10.4230/DagSemProc.06351.12
Abstract
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.
Keywords
- Specification language
- abstract data types
- process algebra
- operational semantics
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads