CONCUR 2011 -- Concurrency Theory
22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
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, p-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.
| ISBN: | 9783642232169 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 560 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Katoen, Joost-Pieter König, Barbara |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 26.08.2011 |
| Untertitel: | 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings |
| Schlagworte: | concurrent processes distributed computing model checking probabilistic automata reactive systems systems analysis temporal logics |
Anmelden