Specification-oriented semantics for communicating processes - Olderog, Ernst-Rüdiger 1955-; Hoare, Charles A. R. 1934- (Oxford Univ. Computing Lab., 1984)
Keywords: Programming languages (Electronic computers) -- Semantics; Datenverarbeitung; Kommunikation