CONCUR 2011 -- Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings - Joost-Pieter Katoen, Barbara König ((Lecture Notes in Computer Science))