A theory of communicating sequential processes - Hoare, Charles A. R. 1934-; Brookes, Stephen D.; Roscoe, A. W. (1981)
Keywords: Circuits; Electric circuits; Electronic circuits; CSP; Programmierung