Book Details

CONCUR 2006 - Concurrency Theory

Publish Date: 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