01291nam--2200385---450-9900003194902033163-540-67897-20031949USA010031949(ALEPH)000031949USA010031949--------d--------km-y0itay0103----baengDE||||||||001yyCONCUR 2000 -concurrency theory11th international conferenceUniversity Park, USA, August 22-25, 2000proceedingsCatuscia Palamidessi (ed.)BerlinoSpringer-Verlagc2000XI, 612 p.ill.20 cmLecture notes artificial intelligence18772001Lecture notes artificial intelligence001-------2001Elaborazione parallelaCongressi2000CongressiState College (Pensylvania)2000004.35PALAMIDESSI,CatusciaITsalbcISBD990000319490203316001 LNCS (1877)CBS 0025859001 LNCS00103508BKSCIPATTY9020010108USA01112420020403USA011640PATRY9020040406USA011622CONCUR 2000 -concurrency theory878931UNISA