Understanding Behaviour of Distributed Systems Using mCRL2

Name: Understanding Behaviour of Distributed Systems Using mCRL2
Author: Muhammad Atif

Specificaties

Gebonden, blz. | Engels

Springer International Publishing | e druk, 2023

ISBN13: 9783031230073

Rubricering

Juridisch :

Springer International Publishing e druk, 2023 9783031230073

Onderdeel van serie Studies in Systems, Decision and Control

€ 216,99

In winkelwagen

Levertijd ongeveer 9 werkdagen

Gratis verzonden

Samenvatting

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.

Specificaties

ISBN13:9783031230073

Taal:Engels

Bindwijze:gebonden

Uitgever:Springer International Publishing

Serie:Studies in Systems, Decision and Control

Inhoudsopgave

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.

Het is boekenweek! Tot en met 22 maart krijgt u Piaggio cadeau bij uw bestelling. Bij besteding van tenminste €17,50 aan Nederlandstalige boeken

Uw winkelwagen

Understanding Behaviour of Distributed Systems Using mCRL2

Samenvatting

Specificaties

Inhoudsopgave

Net verschenen

Rubrieken

Personen

Trefwoorden