SMS: CONCUR 2005 -- concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings / Martin Abadi, Luca de Alfaro (eds.).