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