Understanding Behaviour of Distributed Systems Using mCRL2

Understanding Behaviour of Distributed Systems Using mCRL2

Groote, Jan Friso; Atif, Muhammad

Springer International Publishing AG

02/2023

235

Dura

Inglês

9783031230073

15 a 20 dias

Descrição não disponível.
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.
Model Checking;Behaviour Analysis;Formal Specification;Process Algebra;Inter-process Communication