Algebraic specification and proof of properties of communicating sequential processes - Hoare, Charles A. R. 1934-; He, Jifeng 1943- (1985)
Keywords: Sequential processing (Computer science)