01097nam--2200349---450-9900003514902033160035149USA010035149(ALEPH)000035149USA01003514920010307d1985----km-y0itay0103----baengDE||||||||001yy<<The>> analysis of concurrent systemsCambridge, september 12-16, 1983proceedingsedited by B. T. Denvir ...<et al.>BerlinSpringer Verlagc1985VII, 398 p.ill.24 cmLecture notes in computer science2072001Lecture notes in computer science207001-------2001001.61DENVIR,B.T.ITsalbcISBD990000351490203316001 LNCS 20714384001 LNCS00102358BKSCIPATTY9020010307USA01145920020403USA011643PATRY9020040406USA011624Analysis of concurrent systems343832UNISA