CONCUR 2007 – Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings PDF
518 Pages·2007·5.595 MB·English
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
Preview CONCUR 2007 – Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings
Description:
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.
See more
The list of books you might like
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
