Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
C. A. R. Hoare (1983) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: