The analysis of concurrent systems : CAMBRIDGE, SEPTEMBER 1983. PROCEEDINGS - Denvir, B.T (Lecture Notes in Computer Science ;, 1985)