CONCUR 2009 - Concurrency Theory
Download or Read eBook CONCUR 2009 - Concurrency Theory PDF written by Mario Bravetti and published by Springer Science & Business Media. This book was released on 2009-08-17 with total page 651 pages. Available in PDF, EPUB and Kindle.
Author | : Mario Bravetti |
Publisher | : Springer Science & Business Media |
Total Pages | : 651 |
Release | : 2009-08-17 |
ISBN-10 | : 9783642040801 |
ISBN-13 | : 3642040802 |
Rating | : 4/5 (01 Downloads) |
Book Synopsis CONCUR 2009 - Concurrency Theory by : Mario Bravetti
Book excerpt: This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2009, held in Bologna, Italy, September 1-4, 2009. The 37 revised full papers presented together with four invited papers were carefully reviewed and selected from 129 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.