CONCUR 2008 - Concurrency Theory
Download or Read eBook CONCUR 2008 - Concurrency Theory PDF written by Franck van Breugel and published by Springer Science & Business Media. This book was released on 2008-07-30 with total page 537 pages. Available in PDF, EPUB and Kindle.
| Author | : Franck van Breugel |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 537 |
| Release | : 2008-07-30 |
| ISBN-10 | : 9783540853602 |
| ISBN-13 | : 354085360X |
| Rating | : 4/5 (02 Downloads) |
Book Synopsis CONCUR 2008 - Concurrency Theory by : Franck van Breugel
Book excerpt: This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008. The 33 revised full papers presented together with 2 tool papers were carefully reviewed and selected from 120 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
