Partial correctness of communicating processes and protocols - Zhou, Chaochen 1937-; Hoare, Charles A. R. 1934- (Oxford Univ. Computing Laboratory, 1981)
Keywords: Circuits; Operating systems (Computers); Parallel processing (Electronic computers); Semantik; CSP; Programmierung; Kommunikationsprotokoll