CONCUR 2000 - Concurrency Theory : 11th International Conference, University Park, PA, USA, August 22-25, 2000 : proceedings - Palamidessi, Catuscia (Lecture notes in computer science ;, 2000)