2026-07-20T01:05:41Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:862 2024-03-06T11:07:03Z ddc:004 open_access

The Formal Specification Language mCRL2 Groote, Jan Friso Mathijssen, Aad Reniers, Michel Usenko, Yaroslav van Weerdenburg, Muck Specification language abstract data types process algebra operational semantics 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Jan Friso Groote and Aad Mathijssen and Michel Reniers and Yaroslav Usenko and Muck van Weerdenburg 2007 Is Part Of Dagstuhl Seminar Proceedings, Volume 6351, Methods for Modelling Software Systems (MMOSS) (2007) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.06351.12 urn:nbn:de:0030-drops-8626 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06351.12 eng https://creativecommons.org/licenses/by/4.0/legalcode