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,146 Citations
Reasoning about locks and transactions in concurrent programs
- Computer Science
- 2014
- 1
- Highly Influenced
- PDF
The Semantics and Implementation of Bindings in Higher-Order Programming Languages
- Computer Science
- 1995
- 4
- Highly Influenced
A Control Structure for Parallel Processing
- Mathematics, Computer Science
- Sagamore Computer Conference
- 1974
- 2
- Highly Influenced
Edsger Dijkstra
- Computer Science
- 2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
- 2003
- 13
- 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