The structure of the “THE”-multiprogramming system
@article{Dijkstra1968TheSO, title={The structure of the “THE”-multiprogramming system}, author={E. Dijkstra}, journal={Commun. ACM}, year={1968}, volume={11}, pages={341-346} }
A multiprogramming system is described in which all activities are divided over a number of sequential processes. These sequential processes are placed at various hierarchical levels, in each of which one or more independent abstractions have been implemented. The hierarchical structure proved to be vital for the verification of the logical soundness of the design and the correctness of its implementation.
Supplemental Presentations
Presentation Slides
The structure of the “THE”-multiprogramming system
Topics from this paper
1,175 Citations
Reasoning about locks and transactions in concurrent programs
- Computer Science
- 2014
- 1
- Highly Influenced
- PDF
Managing the dynamism of the OSGi Service Platform in real-time Java applications
- Computer Science
- SAC '12
- 2012
- 6
- Highly Influenced
- PDF
Practical Architectures for Survivable Systems and Networks: Phase-One Final Report
- Engineering
- 1999
- 21
- Highly Influenced
- PDF
Program graphs, an algebra, and their implication for programming
- Computer Science
- IEEE Transactions on Software Engineering
- 1975
- 30
- Highly Influenced
A Control Structure for Parallel Processing
- Mathematics, Computer Science
- Sagamore Computer Conference
- 1974
- 2
- Highly Influenced
Node Interaction in 802.11 based networks with boolean interference
- Computer Science
- WiOpt 2008
- 2008
- 2
- Highly Influenced
Use of tabular expressions in the inspection of concurrent programs
- Computer Science
- 2005
- 2
- Highly Influenced
- PDF
ESOPE : Une étape de la Recherche Française en Systèmes d'Exploitation (1968-1972)
- 2004
- 1
- Highly Influenced
- PDF