Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Understanding Behaviour of Distributed Systems Using mCRL2, Hardback Book

Understanding Behaviour of Distributed Systems Using mCRL2 Hardback

Part of the Studies in Systems, Decision and Control series

Hardback

Out of stock

Description

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.

Information

Save 5%

£159.99

£150.85

Out of stock
Add to Basket
Sign in to add to wishlist
 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information