The Formal Specification Language mCRL2
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)2007pp. 0
Citations Over TimeTop 1% of 2007 papers
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.
Related Papers
- Communicating Sequential Processes(1985)
- → Results on the propositional μ-calculus(1983)1,809 cited
- → Process algebra for synchronous communication(1984)878 cited
- → Reo: a channel-based coordination model for component composition(2004)692 cited
- → Process Algebra: Equational Theories of Communicating Processes(2009)195 cited