article Open AccessTop 1% cited
Communicating sequential processes
Communications of the ACM · 1983 · Vol. 26(1) · pp. 100–106
C. A. R. Hoare✉(Queen's University Belfast)
Abstract
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.
Logic, programming, and type systemsParallel Computing and Optimization TechniquesFormal Methods in VerificationComputer scienceStructuringVariety (cybernetics)Programming languageDijkstra's algorithmTheoretical computer scienceArtificial intelligenceShortest path problem
Citations
3,781
FWCI
307.88
field-weighted impact
References
23
Percentile
100%
vs. same field & year
Citations per year
Cited by
A survey of rollback-recovery protocols in message-passing systems
ACM Computing Surveys · 2002 · 1,787 citations
References
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM · 1975 · 1,911 citations
Citation Network
How this paper connects to the literature. Drag to explore, click any node to open that paper.