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