Understanding behaviour of distributed systems using mCRL2 / Muhammad Atif, Jan Friso Groote.
Atif, Muhammad, (Computer scientist), author.; Groote, J. F. (Jan Friso), 1965- author.
2023
QA76.9.D5
Available Online

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.
Author Atif, Muhammad, (Computer scientist), author.
ISBN 9783031230080 (electronic bk.)
3031230086 (electronic bk.)
3031230078
9783031230073
DOI https://doi.org/10.1007/978-3-031-23008-0
Published Cham, Switzerland : Springer, 2023.
Language English
Description 1 online resource (198 pages) : illustrations (black and white, and colour).
Other Standard Identifiers 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
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export