Communicating sequential processes

DOI Web Site 1 Citations

Description

<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>

Journal

Citations (1)*help

See more

Details 詳細情報について

Report a problem

Back to top