6033071
9783540744061
This book constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory, CONCUR 2007, held in Lisbon, Portugal, September 3-8, 2007. The 30 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 112 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.Caires, Luis is the author of 'CONCUR 2007 - Concurrency Theory', published 2007 under ISBN 9783540744061 and ISBN 3540744061.
[read more]