The Formal Specification Language mCRL2

Groote, Jan Friso; Mathijssen, Aad; Reniers, Michel; Usenko, Yaroslav; van Weerdenburg, Muck

doi:10.4230/DagSemProc.06351.12

Document

The Formal Specification Language mCRL2

Authors Jan Friso Groote, Aad Mathijssen, Michel Reniers, Yaroslav Usenko, Muck van Weerdenburg

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 6351
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2007-04-11

PDF

File

PDF

DagSemProc.06351.12.pdf

Filesize: 410 kB
34 pages

Document Identifiers

DOI: 10.4230/DagSemProc.06351.12
URN: urn:nbn:de:0030-drops-8626

Subject Classification

Keywords

Specification language
abstract data types
process algebra
operational semantics

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get 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

Author Details

Jan Friso Groote

Aad Mathijssen

Michel Reniers

Yaroslav Usenko

Muck van Weerdenburg

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail