Tell your friends about this item:
CONCUR 2014 - Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings - Theoretical Computer Science and General Issues Paolo Baldan 2014 edition
CONCUR 2014 - Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings - Theoretical Computer Science and General Issues
Paolo Baldan
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.
616 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | August 6, 2014 |
| ISBN13 | 9783662445839 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 594 |
| Dimensions | 155 × 235 × 32 mm · 852 g |
| Language | German |
| Editor | Baldan, Paolo |
| Editor | University of Roma "La Sapienza" |