001455006 000__ 03096cam\a2200529\i\4500
001455006 001__ 1455006
001455006 003__ OCoLC
001455006 005__ 20230314003238.0
001455006 006__ m\\\\\o\\d\\\\\\\\
001455006 007__ cr\cn\nnnunnun
001455006 008__ 230302s2023\\\\sz\a\\\\ob\\\\001\0\eng\d
001455006 019__ $$a1371475150
001455006 020__ $$a9783031230080$$q(electronic bk.)
001455006 020__ $$a3031230086$$q(electronic bk.)
001455006 020__ $$z3031230078
001455006 020__ $$z9783031230073
001455006 0247_ $$a10.1007/978-3-031-23008-0$$2doi
001455006 035__ $$aSP(OCoLC)1371484698
001455006 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP
001455006 049__ $$aISEA
001455006 050_4 $$aQA76.9.D5
001455006 08204 $$a004/.36$$223/eng/20230302
001455006 1001_ $$aAtif, Muhammad,$$c(Computer scientist),$$eauthor.
001455006 24510 $$aUnderstanding behaviour of distributed systems using mCRL2 /$$cMuhammad Atif, Jan Friso Groote.
001455006 264_1 $$aCham, Switzerland :$$bSpringer,$$c2023.
001455006 300__ $$a1 online resource (198 pages) :$$billustrations (black and white, and colour).
001455006 336__ $$atext$$btxt$$2rdacontent
001455006 337__ $$acomputer$$bc$$2rdamedia
001455006 338__ $$aonline resource$$bcr$$2rdacarrier
001455006 4901_ $$aStudies in systems, decision and control ;$$vvolume 458
001455006 504__ $$aIncludes bibliographical references and index.
001455006 5050_ $$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.
001455006 506__ $$aAccess limited to authorized users.
001455006 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.
001455006 588__ $$aDescription based on print version record.
001455006 650_0 $$aElectronic data processing$$xDistributed processing.
001455006 650_0 $$aSystem analysis$$xComputer simulation.
001455006 655_0 $$aElectronic books.
001455006 7001_ $$aGroote, J. F.$$q(Jan Friso),$$d1965-$$eauthor.
001455006 77608 $$iPrint version:$$aATIF, MUHAMMAD. GROOTE, JAN FRISO.$$tUNDERSTANDING BEHAVIOUR OF DISTRIBUTED SYSTEMS USING MCRL2.$$d[Place of publication not identified] : SPRINGER INTERNATIONAL PU, 2023$$z3031230078$$w(OCoLC)1350838187
001455006 830_0 $$aStudies in systems, decision and control ;$$vv. 458.
001455006 852__ $$bebk
001455006 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-23008-0$$zOnline Access$$91397441.1
001455006 909CO $$ooai:library.usi.edu:1455006$$pGLOBAL_SET
001455006 980__ $$aBIB
001455006 980__ $$aEBOOK
001455006 982__ $$aEbook
001455006 983__ $$aOnline
001455006 994__ $$a92$$bISE