國立高雄大學圖資館 |

Language: English

Back

Understanding behaviour of distributed systems using mCRL2

Record Type:	Electronic resources : Monograph/item
Title/Author:	Understanding behaviour of distributed systems using mCRL2by Muhammad Atif, Jan Friso Groote.
Author:	Atif, Muhammad.
other author:	Groote, J. F.
Published:	Cham :Springer International Publishing :2023.
Description:	xv, 235 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Electronic data processingDistributed processing.
Online resource:	https://doi.org/10.1007/978-3-031-23008-0
ISBN:	9783031230080$q(electronic bk.)

Understanding behaviour of distributed systems using mCRL2
Atif, Muhammad.

Understanding behaviour of distributed systems using mCRL2[electronic resource] /by Muhammad Atif, Jan Friso Groote. - Cham :Springer International Publishing :2023. - xv, 235 p. :ill., digital ;24 cm. - Studies in systems, decision and control,v. 4582198-4190 ;. - Studies in systems, decision and control ;v.3..

Introducing 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.

This 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.

ISBN: 9783031230080$q(electronic bk.)

Standard No.: 10.1007/978-3-031-23008-0doiSubjects--Topical Terms:

182427
Electronic data processing
--Distributed processing.

LC Class. No.: QA76.9.D5 / A75 2023

Dewey Class. No.: 004.36

Understanding behaviour of distributed systems using mCRL2
LDR:02053nmm a2200337 a 4500 001 640154
003 DE-He213
005 20230225093734.0
006 m d
007 cr nn 008maaau
008 231025s2023 sz s 0 eng d
020 $a 9783031230080$q(electronic bk.)
020 $a 9783031230073$q(paper)
024 7 $a 10.1007/978-3-031-23008-0 $2 doi
035 $a 978-3-031-23008-0
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.D5 $b A75 2023
072 7 $a UYM $2 bicssc
072 7 $a COM018000 $2 bisacsh
072 7 $a UYM $2 thema
082 0 4 $a 004.36 $2 23
090 $a QA76.9.D5 $b A872 2023
100 1 $a Atif, Muhammad. $3 946669
245 1 0 $a Understanding behaviour of distributed systems using mCRL2 $h [electronic resource] / $c by Muhammad Atif, Jan Friso Groote.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2023.
300 $a xv, 235 p. : $b ill., digital ; $c 24 cm.
490 1 $a Studies in systems, decision and control, $x 2198-4190 ; $v v. 458
505 0 $a Introducing 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 $a This 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 0 $a Electronic data processing $x Distributed processing. $3 182427
650 0 $a System analysis $x Computer simulation. $3 946670
650 1 4 $a Computer Modelling. $3 913151
650 2 4 $a Mathematical Logic and Foundations. $3 274479
650 2 4 $a Mathematical and Computational Biology. $3 514442
650 2 4 $a Markov Process. $3 913389
650 2 4 $a Mathematical Applications in Computer Science. $3 530811
700 1 $a Groote, J. F. $3 940873
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Studies in systems, decision and control ; $v v.3. $3 678532
856 4 0 $u https://doi.org/10.1007/978-3-031-23008-0
950 $a Engineering (SpringerNature-11647)