Specification and verification of concurrent systems /
Rattray, C.(Charles)1938-
London : Springer-Verlag,
c1990.
Includes index
Parallel processing (Electronic computers)
Operating systems (Computers)