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: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |