01293nam--2200385---450 99000089150020331620180312154614.03-540-42497-00089150USA010089150(ALEPH)000089150USA01008915020020122d2001----km-y0ITAy0103-------baENGDECONCUR 2001 - concurrency theory12th International conferenceAalborg, Denmark, August 20-25, 2001proceedingsKim G. Larsen ... <et al.> (eds.)Berlin [etc.]Springer-Verlagcopyr. 2001XI, 581 p.ill.20 cmLecture notes in computer science21542001Lecture notes in computer science2154Elaborazione parallelaCongressi2001CongressiAalborg2001004.35Larsen,Kim G.ITACBSISBD990000891500203316001 LNCS (2154)0027145 CBS00100110816BKSCIALANDI9020020122USA010934ALANDI9020020129USA01122420020403USA011733PATRY9020040406USA011701CONCUR 2001 - concurrency theory970255UNISA