CONCUR 2005 – Concurrency Theory - International Conference on Concurrency Theory; Abadi, Martín; De Alfaro, Luca; Kanade, Takeo; Kittler, Josef (Springer Berlin / Heidelberg, 2005)