CONCUR 2011 — Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings 1st Edition
-55%
Availability: In Stock

CONCUR 2011 — Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings 1st Edition

SKU: 9783642232176

Original price was: $54.99.Current price is: $24.99.

Access CONCUR 2011 — Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings 1st Edition Now. Discount up to 90%

Categories: ,

Additional information

Full Title

CONCUR 2011 — Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings 1st Edition
Author(s)

JoostPieter Katoen, ‎Barbara König
Edition

1st Edition
ISBN

9783642232176, 9783642232169
Publisher

Springer
Format

PDF and EPUB

Description

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.

Related products