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