CONCUR 2007 - Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007: Proceedings - International Conference on Concurrency Theory 2007 : Lisbon, Portugal); Caires, Luis.; Vasconcelos, Vasco T.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)