Title:
Understanding Behaviour of Distributed Systems Using mCRL2
Author:
Atif, Muhammad. author.
ISBN:
9783031230080
Edition:
1st ed. 2023.
Physical Description:
XV, 235 p. 103 illus., 15 illus. in color. online resource.
Series:
Studies in Systems, Decision and Control, 458
Contents:
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.
Added Author:
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-031-23008-0Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 527315-1001 | ONLINE | Searching... | Searching... |