Book Details

978-3-540-37377-3

CONCUR 2006 - Concurrency Theory

Publication year: 2006

ISBN: 978-3-540-37377-3

Internet Resource: Please Login to download book


This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27–30, 2006. The scope of CONCUR covers all areas of semantics, logics, and verification techniques for concurrent systems.


Subject: Computer Science, Bisimulation, Computation Tree Logic, algorithm, automata, concurrency, concurrent processing, concurrent rewriting, concurrent systems, distributed computing, formal language, formal verification, logic, minimization, modeling, petri ne