Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

MCRL2

mCRL2 is a specification language for describing concurrent discrete event systems. It is accompanied with a toolset, that facilitates tools… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Family-based model checking targets the simultaneous verification of multiple system variants, a technique to handle feature… Expand
  • table 1
  • figure 1
Is this relevant?
2014
2014
We show how the formal specification language mCRL2 and its state-of-the-art toolset can be used successfully to model and… Expand
  • figure 1
  • figure 3
  • figure 4
Is this relevant?
2014
2014
The mCRL2 language and supporting software provide a state-of-the-art tool suite for the verification of distributed systems. In… Expand
  • figure 2
  • figure 3
Is this relevant?
2010
2010
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channel-based… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2009
2009
We describe a translation of a subset of executable UML (xUML) into the process algebraic specification language mCRL2. This… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2009
2009
Introduction. The Atacama Large Millimeter Array (ALMA) is a space observatory system that is currently being developed by… Expand
  • figure 1
Is this relevant?
2008
2008
We describe the toolset for the behavioural specification language mCRL2. The purpose of the toolset is to analyse abstract… Expand
Is this relevant?
2008
2008
ion An important notion in process algebra is that of abstraction. Usually the requirements of a system are defined in terms of… Expand
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 1.4
  • figure 1.5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
2006
2006
We sketch the language mCRL2, the successor of μCRL, which is a process algebra with data, devised in 1990 to model and study the… Expand
  • figure 1
Is this relevant?