You might also like

More about CONCUR 2014 - Concurrency Theory

• Book details
• Synopsis
• Trending among others

You get 154 loyalty points

Book synopsis

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, quantitatvice models, automata and multithreading, complexity, process calculi and types, categories, graphs and quantum systems, automata and time, and games.

Book details

Book category Books in English Computing & information technology Computer science Mathematical theory of computation

• Full title: CONCUR 2014 - Concurrency Theory
• Subtitle: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. Hrsg.: University of Roma "La Sapienza"
• Author: Paolo Baldan
• Language: English
• Binding: Paperback
• Number of pages: 594
• EAN: 9783662445839
• ISBN: 3662445832
• ID: 05158650
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Weight: 9183 g
• Dimensions: 235 × 155 × 235 mm
• Date of publishing: 24. July 2014

Trending among others

---

---

---