CONCUR 2005 - Concurrency Theory 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings / [electronic resource] :
Martin Abadi, Luca de Alfaro.
- Berlin Heidelberg : Springer-Verlag GmbH., 2005.
- 1online resource (xiv, 578 p.) : ill., digital ; 24 cm.
- Lecture Notes in Computer Science, 3653 0302-9743 ; .