CONCUR 2011 - Concurrency Theory
. Ed(S): Katoen, Joost-Pieter; Konig, Barbara
€ 69.87
FREE Delivery in Ireland
Description for CONCUR 2011 - Concurrency Theory
Paperback. Constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. Editor(s): Katoen, Joost-Pieter; Konig, Barbara. Series: Lecture Notes in Computer Science. Num Pages: 560 pages, 104 black & white illustrations, 17 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 862.
This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011.
The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, π-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.
This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011.
The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, π-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
560
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
560
Place of Publication
Berlin, Germany
ISBN
9783642232169
SKU
V9783642232169
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-3
Reviews for CONCUR 2011 - Concurrency Theory