CONCUR 2007 - Concurrency Theory
18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings| By: | Luís Caires; Vasco T. Vasconcelos |
| Publisher: | Springer Nature |
| Print ISBN: | 9783540744061 |
| eText ISBN: | 9783540744078 |
| Edition: | 1 |
| Copyright: | 2007 |
| Format: | Page Fidelity |
Lifetime - $68.74
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
Details
Table of Contents
This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three important invited papers. Each of these papers was carefully reviewed by the editors. Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.