Name: Understanding Behaviour of Distributed Systems Using McRl2
SKU: 57620643
Price: 5803.00 TWD
Availability: InStock
Author: Atif, Muhammad ; Groote, Jan Friso
ISBN: 9783031230073

portada Understanding Behaviour of Distributed Systems Using McRl2

Understanding Behaviour of Distributed Systems Using McRl2

Type

Physical Book

Author

Jan Friso Groote

Muhammad Atif

Publisher

Springer

Language

English

Pages

235

Format

Hardcover

Dimensions

23x15x0.4 cm

Weight

0.57 kg.

ISBN13

9783031230073

Synopsis "Understanding Behaviour of Distributed Systems Using McRl2"

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Understanding Behaviour of Distributed Systems Using McRl2 - Atif, Muhammad ; Groote, Jan Friso

Synopsis "Understanding Behaviour of Distributed Systems Using McRl2"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery