CONCUR 2005 -- concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings / - Abadi, Martín.; De Alfaro, Luca, (Springer,, 2005)