The 17th International Conference on Concurrency Theory was held in Lisbon, Portugal, in September 2007. The conference drew leading experts in concurrency theory who came to share their findings and discuss the latest developments in the field. This volume constitutes the refereed proceedings of the conference.Thirty full papers are presented along with three important invited papers. Readers will discover many important findings and applications in concurrency theory.Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.

CONCUR 2007 – Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings PDF

The list of books you might like