{"product_id":"understanding-behaviour-of-distributed-systems-using-mcrl2-von-muhammad-atif-und-jan-friso-groote","title":"Understanding Behaviour of Distributed Systems Using mCRL2","description":"\n                \u003cp\u003eThis 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.\u003c\/p\u003eThe underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks.\u003cp\u003e\u003c\/p\u003e\n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031230103\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031230073\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783031230103","offer_id":48241506320709,"sku":"9783031230103","price":192.59,"currency_code":"EUR","in_stock":true},{"title":"Hardcover - 9783031230073","offer_id":40941521371229,"sku":"9783031230073","price":192.59,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/c88fea5a-c641-4324-9a5e-9c83bc1c834b.jpg?v=1758169305","url":"https:\/\/shop.autorenwelt.de\/products\/understanding-behaviour-of-distributed-systems-using-mcrl2-von-muhammad-atif-und-jan-friso-groote","provider":"Autorenwelt Shop","version":"1.0","type":"link"}