Specification and verification of concurrent systems - Rattray C (N Y Springer Verlag, 1990)
Keywords: Computer science; Parallel computing