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