Features
- Cover Type: Paperback with 507 pages
- Published by: Springer
- Edition: 1st Edition October 3, 2007
- Written in: English
- ISBN 10 Number: 3540744061
- ISBN 13 Number: 978-3540744061
-
Book Dimensions:
9.1 x 6.1 x 1.2 inches
- Weighs: 1.8 pounds
Product Description
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 thirty 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.