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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Model Checking;Behaviour Analysis;Formal Specification;Process Algebra;Inter-process Communication
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.