Understanding Behaviour of Distributed Systems Using mCRL2

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.

• Fundamentos da Matemática
• Probabilidade e Estatística
• Modelagem computacional e simulação
• Matemática para cientistas
• Software matemático e estatístico
• Modelação matemática

Model Checking;Behaviour Analysis;Formal Specification;Process Algebra;Inter-process Communication