Concur 2006 Concurrency Theory - 17th International Conference, Concur 2006bonn, Germany, August 27-30, 2006 - Paperback - 2006

Constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory, CONCUR 2006, held in Bonn, Germany in August 2006. This book contains papers that are organized in topical sections on model checking, process calculi, minimization and equivalence checking, types, semantics and probability.
Year of publication: 2006
Pagination: 544 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues