東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Understanding behaviour of distribut...

Atif, Muhammad.

FindBook

Google Book

Amazon

博客來

Understanding behaviour of distributed systems using mCRL2

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Understanding behaviour of distributed systems using mCRL2/ by Muhammad Atif, Jan Friso Groote.
作者:	Atif, Muhammad.
其他作者:	Groote, J. F.
出版者:	Cham :Springer International Publishing : : 2023.,
面頁冊數:	xv, 235 p. :ill., digital ;24 cm.
內容註:	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.
Contained By:	Springer Nature eBook
標題:	Electronic data processing - Distributed processing. -
電子資源:	https://doi.org/10.1007/978-3-031-23008-0
ISBN:	9783031230080

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

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

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

548601
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 2316007
003 DE-He213
005 20230225093734.0
006 m d
007 cr nn 008maaau
008 230902s2023 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 3628841
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 548601
650 0 $a System analysis $x Computer simulation. $3 3628843
650 1 4 $a Computer Modelling. $3 3538541
650 2 4 $a Mathematical Logic and Foundations. $3 892656
650 2 4 $a Mathematical and Computational Biology. $3 1566274
650 2 4 $a Markov Process. $3 3538809
650 2 4 $a Mathematical Applications in Computer Science. $3 1567978
700 1 $a Groote, J. F. $3 3613918
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Studies in systems, decision and control ; $v v. 458. $3 3628842
856 4 0 $u https://doi.org/10.1007/978-3-031-23008-0
950 $a Engineering (SpringerNature-11647)