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...
保存先:
| 主要な著者: | , |
|---|---|
| 団体著者: | |
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
Cham :
Springer International Publishing : Imprint: Springer,
2023.
|
| 版: | 1st ed. 2023. |
| シリーズ: | Studies in Systems, Decision and Control,
458 |
| 主題: | |
| オンライン･アクセス: | https://doi.org/10.1007/978-3-031-23008-0 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
目次:
- 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.