CONCUR 2007 - Concurrency Theory
Download or Read eBook CONCUR 2007 - Concurrency Theory PDF written by Luís Caires and published by Springer Science & Business Media. This book was released on 2007-08-22 with total page 518 pages. Available in PDF, EPUB and Kindle.
| Author | : Luís Caires |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 518 |
| Release | : 2007-08-22 |
| ISBN-10 | : 9783540744061 |
| ISBN-13 | : 3540744061 |
| Rating | : 4/5 (61 Downloads) |
Book Synopsis CONCUR 2007 - Concurrency Theory by : Luís Caires
Book excerpt: 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.
