Understanding behaviour of distributed systems using mCRL2 / Muhammad Atif, Jan Friso Groote.
2023
QA76.9.D5
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Understanding behaviour of distributed systems using mCRL2 / Muhammad Atif, Jan Friso Groote.
ISBN
9783031230080 (electronic bk.)
3031230086 (electronic bk.)
3031230078
9783031230073
3031230086 (electronic bk.)
3031230078
9783031230073
Published
Cham, Switzerland : Springer, 2023.
Language
English
Description
1 online resource (198 pages) : illustrations (black and white, and colour).
Item Number
10.1007/978-3-031-23008-0 doi
Call Number
QA76.9.D5
Dewey Decimal Classification
004/.36
Summary
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.
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Groote, J. F. (Jan Friso), 1965- author.
Series
Studies in systems, decision and control ; v. 458.
Available in Other Form
UNDERSTANDING BEHAVIOUR OF DISTRIBUTED SYSTEMS USING MCRL2.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
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.
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.