CONCUR 2014 – Concurrency Theory
Download or Read eBook CONCUR 2014 – Concurrency Theory PDF written by Paolo Baldan and published by Springer. This book was released on 2014-08-23 with total page 614 pages. Available in PDF, EPUB and Kindle.
| Author | : Paolo Baldan |
| Publisher | : Springer |
| Total Pages | : 614 |
| Release | : 2014-08-23 |
| ISBN-10 | : 9783662445846 |
| ISBN-13 | : 3662445840 |
| Rating | : 4/5 (46 Downloads) |
Book Synopsis CONCUR 2014 – Concurrency Theory by : Paolo Baldan
Book excerpt: This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in September 2014. The 35 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 124 submissions. The focus of the conference is on the following topics: process calculi, model checking and abstraction, synthesis, quantitative models, automata and multithreading, complexity, process calculi and types, categories, graphs and quantum systems, automata and time, and games.
