Cover Image

Understanding behaviour of distributed systems using mCRL2 / Muhammad Atif, Jan Friso Groote.

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...

Full description

Saved in:
Bibliographic Details
Online Access: Full Text (via Springer)
Main Authors: Atif, Muhammad (Computer scientist) (Author), Groote, J. F. (Jan Friso), 1965- (Author)
Format: eBook
Language:English
Published: Cham, Switzerland : Springer, 2023.
Series:Studies in systems, decision and control ; v. 458.
Subjects:
Electronic data processing > Distributed processing.
System analysis > Computer simulation.
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.

Similar Items