Understanding behaviour of distributed systems using mCRL2
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to a...
Main Author: | Atif, Muhammad, (Computer scientist), |
---|---|
Other Authors: | Groote, J. F. 1965-, SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Cham, Switzerland :
Springer,
2023.
|
Physical Description: |
1 online resource (198 pages) : illustrations (black and white, and colour). |
Series: |
Studies in systems, decision and control ;
v. 458. |
Subjects: |
Table of Contents:
- Introducing mCRL2
- Automata to Represent Behaviour
- Communicating processes
- Behavioural Equivalences
- Data Types and Data-dependent Behaviour
- Model-Checking
- The Modal -Calculus
- Linear Processes and Parameterised Boolean Equation Systems
- Applications: Puzzles and Games
- Applications: Distributed Algorithms.