Understanding Behaviour of Distributed Systems Using mCRL2
Jan Friso Groote, Muhammad Atif
E-bok
20232 551 kr
Understanding Behaviour of Distributed Systems Using mCRL2
AvMuhammad Atif,Jan Friso Groote
Häftad, Engelska, 2024
Del 458 i serien Studies in Systems, Decision and Control
1 983 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
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.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma serie
Del 502
Processing, Estimation and Measurement of Signals Parameters in Public Distribution Networks
Predrag Petrović
Inbunden, 2023
1 434 kr
Del 427
Financial Econometrics: Bayesian Analysis, Quantum Uncertainty, and Related Topics
Nguyen Ngoc Thach, Vladik Kreinovich, Doan Thanh Ha, Nguyen Duc Trung
Inbunden, 2022
2 607 kr
Del 388
Power Systems Research and Operation
Olexandr Kyrylenko, Andrii Zharkin, Oleksandr Butkevych, Ihor Blinov, Ievgen Zaitsev, Artur Zaporozhets
Inbunden, 2021
1 546 kr
Del 179
Models and Theories in Social Systems
Cristina Flaut, Šárka Hošková-Mayerová, Daniel Flaut
Inbunden, 2018
1 703 kr
Stochastic Control and Filtering over Constrained Communication Networks
Qinyuan Liu, Zidong Wang, Xiao He
Inbunden, 2018
1 324 kr
Del 171
Green IT Engineering: Social, Business and Industrial Applications
Vyacheslav Kharchenko, Yuriy Kondratenko, Janusz Kacprzyk
Inbunden, 2018
1 653 kr
Del 176
Designing Cognitive Cities
Edy Portmann, Marco E. Tabacchi, Rudolf Seising, Astrid Habenstein
Inbunden, 2018
1 138 kr
Del 180
Economy, Business and Uncertainty: New Ideas for a Euro-Mediterranean Industrial Policy
Jaime Gil-Lafuente, Domenico Marino, Francesco Carlo Morabito
Inbunden, 2018
2 202 kr
Del 181
Big Data-driven World: Legislation Issues and Control Technologies
Alla G. Kravets
Inbunden, 2018
1 138 kr
Del 182
Optimization of the Taxation System: Preconditions, Tendencies and Perspectives
Irina V. Gashenko, Yulia S. Zima, Armenak V. Davidyan
Inbunden, 2018
1 138 kr
Hoppa över listan
Du kanske också är intresserad av
- Nyhet
Del 458
Silius Italicus and the Tradition of the Roman Historical Epos
Antony Augoustakis
Inbunden, 2022
1 972 kr
Del 458
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif, Jan Friso Groote
Inbunden, 2023
1 983 kr
Del 458
Del 458
Le Plaisir d'être Cocu: Contes Érotiques Interdits de Sexe Hard Français
Eva Rossi
Inbunden, 2024
501 kr
Del 458
Del 458
Del 458
Del 458
Del 458