Concur 2000 : concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 : proceedings / - Palamidessi, Catuscia. (Springer,, 2000)