The analysis of concurrent systems : CAMBRIDGE, SEPTEMBER 1983. PROCEEDINGS - Denvir, B.T (Springer Verlag, 1985)