Book Details

CONCUR 2007 – Concurrency Theory

Publication year: 2007

: 978-3-540-74407-8

:


This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.


: Computer Science, Bisimulation, automata, communication protocols, concurrency, concurrent processing, concurrent rewriting, concurrent systems, distributed computing, formal language, formal verification, hybrid systems, infinite state systems, model checking, parallel computing, semantics