CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings - Martín Abadi, Luca Alfaro ((Lecture Notes in Computer Science))