Understanding Behaviour of Distributed Systems Using mCRL2
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 a...
Na minha lista:
| Principais autores: | , |
|---|---|
| Autor Corporativo: | |
| Formato: | Recurso Eletrônico livro eletrônico |
| Idioma: | inglês |
| Publicado em: |
Cham :
Springer International Publishing : Imprint: Springer,
2023.
|
| Edição: | 1st ed. 2023. |
| coleção: | Studies in Systems, Decision and Control,
458 |
| Assuntos: | |
| Acesso em linha: | https://doi.org/10.1007/978-3-031-23008-0 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-23008-0 | ||
| 003 | DE-He213 | ||
| 005 | 20260810144738.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 230225s2023 sz | o |||| 0|eng d | ||
| 020 | |a 9783031230080 |9 978-3-031-23008-0 | ||
| 024 | 7 | |a 10.1007/978-3-031-23008-0 |2 doi | |
| 050 | 4 | |a QA76.9.C65 | |
| 072 | 7 | |a UYM |2 bicssc | |
| 072 | 7 | |a COM072000 |2 bisacsh | |
| 072 | 7 | |a UYM |2 thema | |
| 082 | 0 | 4 | |a 003.3 |2 23 |
| 100 | 1 | |a Atif, Muhammad. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 245 | 1 | 0 | |a Understanding Behaviour of Distributed Systems Using mCRL2 |h [electronic resource] / |c by Muhammad Atif, Jan Friso Groote. |
| 250 | |a 1st ed. 2023. | ||
| 264 | 1 | |a Cham : |b Springer International Publishing : |b Imprint: Springer, |c 2023. | |
| 300 | |a 1 online resource (XV, 235 p. 103 illus.). |b 15 illus. in color. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Studies in Systems, Decision and Control, |x 2198-4190 ; |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. | ||
| 588 | |a Print version record. | ||
| 650 | 0 | |a Computer simulation. | |
| 650 | 0 | |a Mathematical logic. | |
| 650 | 0 | |a Biomathematics. | |
| 650 | 0 | |a Markov processes. | |
| 650 | 0 | |a Computer science |x Mathematics. | |
| 650 | 1 | 4 | |a Computer Modelling. |
| 650 | 2 | 4 | |a Mathematical Logic and Foundations. |
| 650 | 2 | 4 | |a Mathematical and Computational Biology. |
| 650 | 2 | 4 | |a Markov Process. |
| 650 | 2 | 4 | |a Mathematical Applications in Computer Science. |
| 700 | 1 | |a Groote, Jan Friso. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783031230073 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031230097 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031230103 |
| 830 | 0 | |a Studies in Systems, Decision and Control, |x 2198-4190 ; |v 458 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-23008-0 |
| 912 | |a ZDB-2-ENG | ||
| 912 | |a ZDB-2-SXE | ||
| 950 | |a Engineering (SpringerNature-11647) | ||
| 950 | |a Engineering (R0) (SpringerNature-43712) | ||