Copied Understanding Behaviour of Distributed Systems Using mCRL2
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$149.00 | $149.00 |
|
$149.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Hormone Assays in Biological Fluids
$84.99
Transforming the Gendered Organisation of Labour and Leisure
$54.99
Stabilitt und Flexibilitt von Kooperationen
$79.99
Teleoperation: Numerical Simulation and Experimental Validation
$39.99
Spatial inequalities and regional development
$109.99
Generalized Connectivity of Graphs
$54.99
Multinational Companies from Emerging Economies
$54.99
Millimeter-Wave Power Amplifiers
$139.00
Gefahrstoffe
$139.99
Forschung mit Rntgenstrahlen
$89.00
Organic Pollutants in the Geosphere
$54.99
Information and Communication Technologies in Tourism 2024
$59.99
Generative Mechanisms Transforming the Social Order
$54.99
Artificial Companion for Second Language Conversation
$179.99
Concurrency Control in Distributed System Using Mutual Exclusion
$84.99
Endothelin and Its Inhibitors
$39.99
Frontiers in Numerical Analysis - Durham 2010
$59.95
Analysis of Carbohydrates by Capillary Electrophoresis
$39.99
Das Weltbild der Circular Economy und Biokonomie
$59.99
Starke Kommunen wirksame Verwaltung
$49.99
Clinical Manual of Fever in Children
$84.99
Nonparametric Statistics
$169.99
Kollegiale Beratung im Pflegeteam
$39.99
Objects in Italian Life and Culture
$54.99
Die Schmelzwassermengen der Nebelfrostablagerungen
$54.99
Online-Kommunikation
$69.99
There Was an Old Lady: There Was an Old Astronaut Who Swallowed the Moon!
$3.74
Photosynthesis in Algae
$259.00
The Philosophical Diseases of Medicine and their Cure
$219.99
Union Revitalisation in Advanced Economies
$109.99
Advances in Acoustics and Vibration III
$249.99
Database Replication
$19.99
Photoshop Elements 2 Face Makeovers
$34.99
Pete the Cat: Rocking in My School Shoes
$6.71
Hamiltonian Systems with Three or More Degrees of Freedom
$259.00
Britains Informal Empire in Spain, 1830-1950
$109.00
Stochastic Processes and Financial Mathematics
$49.99
Offshore Finance Centres and Tax Havens
$169.99
Mathematik fr Wirtschaftswissenschaftler
$49.99
Saving Cities
$49.99
