CONCUR 2007 – Concurrency Theory - Caires, Luís; Kanade, Takeo; Vasconcelos, Vasco T.; Kittler, Josef (Springer Berlin Heidelberg, 2007)