Communicating sequential processes - Hoare, C. A. R. (Charles Antony Richard), 1934- (Englewood Cliffs, N.J. : Prentice/Hall International, 1985)
Includes bibliographical references ( p. 251-252) and index.
Keywords: Computer programming; Parallel processing (Electronic computers).