CONCUR 2011 – Concurrency Theory - Katoen, Joost-Pieter (Springer Berlin Heidelberg, 2011)