Understanding Behaviour of Distributed Systems Using mCRL2
Author:   Muhammad Atif ,  Jan Friso Groote
Publisher:   Springer International Publishing AG
Edition:   2023 ed.
Volume:   458
ISBN:  

9783031230103


Pages:   235
Publication Date:   27 February 2024
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $413.97 Quantity:  
Add to Cart

Share |

Understanding Behaviour of Distributed Systems Using mCRL2


Add your own review!

Overview

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.

Full Product Details

Author:   Muhammad Atif ,  Jan Friso Groote
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   2023 ed.
Volume:   458
ISBN:  

9783031230103


ISBN 10:   3031230108
Pages:   235
Publication Date:   27 February 2024
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now