-The Analysis of Concurrent Systems. Proceedings, Springer-Verlag 1983. Edited by B.T. Denvir, W.T. Harwood, M.i. Jackson and M.J. Wray. VII, 398 pages, 1985