A Synthesis Emerging?

  • Edsger W. Dijkstra


Author’s comment (added 1982): In retrospect this text is not without historical interest: it records the highlights of a discussion mentioned [as “Verbal communication” (Dijkstra 1975)] in C. A. R. Hoare’s “Communicating sequential processes”, Comm. ACM 21, 8 (Aug. 1978), 666–677. The text was evidently written in a state of some excitement; in retrospect we may conclude that this excitement was not entirely unjustified. Seeing Hoare keenly interested in the topic, I left that arena.


Function Procedure Main Program Instruction Counter Closing Code Block Exit 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1982

Authors and Affiliations

  • Edsger W. Dijkstra

There are no affiliations available

Personalised recommendations