CONCUR 2009 - Concurrency Theory - Bravetti, Mario; Kanade, Takeo; Zavattaro, Gianluigi; Kittler, Josef (Springer Berlin Heidelberg, 2009)