The Analysis of Concurrent Systems (1983)

by T Denvir, W Harwood, M Jackson, M Ray
Venue:Cambridge University, LNCS