CONCUR 2007 – Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings - Caires, Luís; Vasconcelos, Vasco T. (Springer Berlin Heidelberg, 2007)