-
- C. A. R. Hoare
- Queen's Univ. of Belfast, Belfast, Northern Ireland
説明
<jats:p>This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method. When combined with a development of Dijkstra's guarded command, these concepts are surprisingly versatile. Their use is illustrated by sample solutions of a variety of familiar programming exercises.</jats:p>
収録刊行物
-
- Communications of the ACM
-
Communications of the ACM 26 (1), 100-106, 1983-01
Association for Computing Machinery (ACM)
