CONCUR 2011 – Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings - Katoen, Joost-Pieter; König, Barbara (Springer Berlin Heidelberg : Imprint: Springer, 2011)