CONCUR 2014 – Concurrency Theory - Baldan; Baldan, Paolo; University of Roma "La Sapienza" (Springer Berlin Heidelberg, 2014)