CONCUR 2006 - Concurrency Theory ; 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006

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.