CONCUR 2014 – Concurrency Theory - Baldan (Springer Berlin Heidelberg, 2014)