TY - BOOK AU - Palamidessi, C (Ed) TI - CONCUR 2000 - Concurrency theory: lecture notes in computer science : proceedings SN - 0003540678972 U1 - 005.1 PB - Springer: Tokyo KW - concurrency theory : ER -