CONCUR 2000 - Concurrency Theory 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings - Palamidessi, Catuscia; Palamidessi, Catuscia (Springer Berlin Heidelberg : Imprint: Springer, 2000)