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 LEADER 01488nam 2200433 450 001 9910713999603321 005 20201208155046.0 035 $a(CKB)5470000002505662 035 $a(OCoLC)1196831762 035 $a(EXLCZ)995470000002505662 100 $a20200922d2020 ua 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDemand response potential from the bulk grid perspective /$fDr. Brady Stoll 210 1$aGolden, CO :$cNational Renewable Energy Laboratory,$d2020. 215 $a1 online resource (46 unnumbered pages) $ccolor illustrations 225 1 $aNREL/PR ;$v6A20-70500 300 $aPresented at the 36th Peak Load Management Conference, 13-15 November 2017, Cambridge, Massachusetts. 300 $a"November 15, 2017." 320 $aIncludes bibliographical references. 606 $aEnergy consumption 606 $aRenewable resource integration 606 $aSmart power grids 606 $aEnergy conservation 615 0$aEnergy consumption. 615 0$aRenewable resource integration. 615 0$aSmart power grids. 615 0$aEnergy conservation. 700 $aStoll$b Brady$01421694 712 02$aNational Renewable Energy Laboratory (U.S.), 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910713999603321 996 $aDemand response potential from the bulk grid perspective$93543707 997 $aUNINA