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