000 03398nam a22006255i 4500
001 978-3-031-23008-0
003 DE-He213
005 20240207153522.0
007 cr nn 008mamaa
008 230225s2023 sz | s |||| 0|eng d
020 _a9783031230080
_9978-3-031-23008-0
050 4 _aQA76.9.C65
072 7 _aUYM
_2bicssc
072 7 _aCOM018000
_2bisacsh
072 7 _aUYM
_2thema
082 0 4 _a003.3
_223
100 1 _aAtif, Muhammad.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
245 1 0 _aUnderstanding Behaviour of Distributed Systems Using mCRL2
_h[electronic resource] /
_cby Muhammad Atif, Jan Friso Groote.
250 _a1st ed. 2023.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2023.
300 _aXV, 235 p. 103 illus., 15 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aStudies in Systems, Decision and Control,
_x2198-4190 ;
_v458
500 _aAcceso multiusuario
505 0 _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.
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.
541 _fUABC ;
_cPerpetuidad
650 0 _aComputer simulation.
650 0 _aMathematical logic.
650 0 _aBiomathematics.
650 0 _aMarkov processes.
650 0 _aComputer science
_xMathematics.
650 1 4 _aComputer Modelling.
650 2 4 _aMathematical Logic and Foundations.
650 2 4 _aMathematical and Computational Biology.
650 2 4 _aMarkov Process.
650 2 4 _aMathematical Applications in Computer Science.
700 1 _aGroote, Jan Friso.
_eauthor.
_0(orcid)0000-0003-2196-6587
_1https://orcid.org/0000-0003-2196-6587
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031230073
776 0 8 _iPrinted edition:
_z9783031230097
776 0 8 _iPrinted edition:
_z9783031230103
830 0 _aStudies in Systems, Decision and Control,
_x2198-4190 ;
_v458
856 4 0 _zLibro electrónico
_uhttp://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-23008-0
912 _aZDB-2-ENG
912 _aZDB-2-SXE
942 _cLIBRO_ELEC
999 _c260981
_d260980