LEADER 02796nam 2200517 450 001 9910674354103321 005 20230520150454.0 010 $a3-031-23008-6 024 7 $a10.1007/978-3-031-23008-0 035 $a(MiAaPQ)EBC7206873 035 $a(Au-PeEL)EBL7206873 035 $a(CKB)26183512700041 035 $a(DE-He213)978-3-031-23008-0 035 $a(PPN)268206848 035 $a(EXLCZ)9926183512700041 100 $a20230520d2023 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aUnderstanding behaviour of distributed systems using mCRL2 /$fMuhammad Atif and Jan Friso Groote 205 $a1st ed. 2023. 210 1$aCham, Switzerland :$cSpringer,$d[2023] 210 4$dİ2023 215 $a1 online resource (241 pages) 225 1 $aStudies in Systems, Decision and Control,$x2198-4190 ;$v458 311 08$aPrint version: Atif, Muhammad Understanding Behaviour of Distributed Systems Using MCRL2 Cham : Springer International Publishing AG,c2023 9783031230073 320 $aIncludes bibliographical references and index. 327 $aIntroducing mCRL2 -- Automata to Represent Behaviour -- Communicating processes -- Behavioural Equivalences -- Data Types and Data-dependent Behaviour -- Model-Checking -- The Modal µ-Calculus -- Linear Processes and Parameterised Boolean Equation Systems -- Applications: Puzzles and Games -- Applications: Distributed Algorithms. 330 $aThis 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. 410 0$aStudies in Systems, Decision and Control,$x2198-4190 ;$v458 606 $aElectronic data processing$xDistributed processing 606 $aSystem analysis$vCongresses 615 0$aElectronic data processing$xDistributed processing. 615 0$aSystem analysis 676 $a004.36 700 $aAtif$b Muhammad$01337475 702 $aGroote$b J. F$g(Jan Friso),$f1965- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910674354103321 996 $aUnderstanding behaviour of distributed systems using mCRL2$93374639 997 $aUNINA