The Formal Specification Language mCRL2

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

• Type: Conference
• Year: 2006
• Where: DAGSTUHL
• Authors: Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg
• Keywords: Abstract Data Types, DAGSTUHL 2006, DAGSTUHL 2007, Data Types, Specification Language