A model for communicating sequential processes - Hoare, Charles A. R. 1934- (Oxford Univ. Computing Laboratory, 1981)