CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings - Abadi, Martín; Alfaro, Luca de (Springer Berlin Heidelberg, 2005)