Understanding Behaviour of Distributed Systems Using mCRL2
Published on 27. February 2024
Book
Paperback/Softback
XV, 235 pages
978-3-031-23010-3 (ISBN)
Description
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 analyse a distributed system with respect to its functional requirements. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols.
The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks.More details
Series
Edition
2023 ed.
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
88 s/w Abbildungen, 15 farbige Abbildungen
XV, 235 p. 103 illus., 15 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 13 mm
Weight
434 gr
ISBN-13
978-3-031-23010-3 (9783031230103)
DOI
10.1007/978-3-031-23008-0
Schweitzer Classification
Other editions
Additional editions
Muhammad Atif | Jan Friso Groote
Understanding Behaviour of Distributed Systems Using mCRL2
Book
02/2023
Springer
€192.59
Shipment within 15-20 days
Content
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.