00770nam0-22002411i-450-990001208950403321000120895FED01000120895(Aleph)000120895FED0100012089520000920d1985----km-y0itay50------baengAnalysis of concurrent systemsProceedings of a Workshop held at Clare College, Cambridge, September 12-16, 1983Edited by B.T. Denvir et al.Berlin [etc.]Springer-Verlag1985Lecture notes in computer science207ITUNINARICAUNIMARCBK990001208950403321C-16-(2076653MA1MA1Analysis of concurrent systems343832UNINAING01