Concur 2000 - Concurrency Theory 11th International Conference, University Park, PA, USA, August 22-25, 2000 - Palamidessi, Catuscia (Lecture Notes in Computer Science)