000			nam a22 4500
999			_c33119 _d33119
008			240319b xxu||||| |||| 00| 0 eng d
020			_a9783031230073
082			_a004.36 _bATI
100			_aAtif, Muhammad
245			_aUnderstanding behaviour of distributed systems using mCRL2
260			_bSpringer, _c2023 _aCham :
300			_axv, 235 p. ; _bill., _c24 cm
365			_b169.99 _c€ _d93.50
490			_aStudies in Systems, Decision and Control ; _vv.458
504			_aIncludes bibliographical references and index.
520			_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.
650			_aComputer simulation
650			_aDistributed processing
650			_aElectronic data processing
650			_aSystem analysis
700			_aGroote, Jan Friso
942			_2ddc _cBK