Understanding Behaviour of Distributed Systems Using mCRL2
by
Atif, Muhammad. author.
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.
Subject Term
:
Computer simulation.
Mathematical logic.
Biomathematics.
Markov processes.
Computer science -- Mathematics.
Computer Modelling.
Mathematical Logic and Foundations.
Mathematical and Computational Biology.
Markov Process.
Mathematical Applications in Computer Science.
Added Author
:
Groote, Jan Friso.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 527315-1001 | ONLINE | | Elektronik Kütüphane |