Jump to content

MCRL2

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Scranen (talk | contribs) at 11:06, 3 November 2014 (Replaced reference for the mCRL2 language with a reference to the recently published book about it, which is more up to date and far more extensive than the original reference.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

mCRL2 is a specification language for describing concurrent discrete event systems. It is accompanied with a toolset, that facilitates tools, techniques and methods for simulation, analysis and visualization of behaviour. The behavioural part of the language is based on process algebra (Algebra of Communicating Processes). The data part of the toolset is based on abstract equational data types extended with higher-order functions.

The toolset has been founded by Jan Friso Groote and is currently developed by the Formal Systems Analysis group at Eindhoven University of Technology, The Netherlands.

References

  • Groote, J.F., Mousavi, M.R. Modeling and analysis of communicating systems. The MIT press. 2014. ISBN 9780262027717.
Retrieved from "https://en.wikipedia.org/w/index.php?title=MCRL2&oldid=632265311"