Skip to search formSkip to main contentSkip to account menu

MCRL2

mCRL2 is a specification language for describing concurrent discrete event systems. It is accompanied with a toolset, that facilitates tools… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
Algebra of Communicating ProcessesBisimulationFormal methodsLTSmin

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Enabling framework for service-oriented collaborative networks
In today's economy, collaboration and co-development among organizations has evolved from the traditional format of static supply… 
2015
2015
Extending mCRL2 with ready simulation and iocos input-output conformance simulation
The mCRL2 toolset is a leading tool for the use of formal methods. It integrates modelling, analysis and verification methods and… 
2014
2014
Software product line analysis with mCRL2
The mCRL2 language and supporting software provide a state-of-the-art tool suite for the verification of distributed systems. In… 
2014
2014
Symbolic Analysis Tools for CSP
Communicating Sequential Processes (CSP) is a well-known formal language for describing concurrent systems, where transition… 
2011
2011
Reconciling operational and epistemic approaches to the formal analysis of crypto-based security protocols
We propose a unifying framework for formal specification and verification of both epistemic and behavioral aspects of security… 
2009
2009
Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study
Specifying concurrent systems can be done using a variety of languages. These languages have different features and therefore are… 
Highly Cited
2008
Highly Cited
2008
Analysis of distributed systems with mCRL2
ion An important notion in process algebra is that of abstraction. Usually the requirements of a system are defined in terms of… 
2008
2008
Verification of networks of timed automata using mCRL2
It has been our long time wish to combine the best parts of the real-time verification methods based on timed automata (TA) (the… 
2007
2007
Modeling and verifying a Real--Life Industrial Session--Layer Protocol in mCRL2
This report describes the analysis of an industrial implementation of the session-layer of a load-balancing software system. This… 
2007
2007
Sarir: A Rebeca to mCRL2 Translator
We describe a translation from Rebeca, an actor-based language, to mCRL2, a process algebra enhanced with data types. The main… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)