Abstract
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.
Keywords
Computer multitaskingCitationComputer scienceDijkstra's algorithmWorld Wide WebOperating systemTheoretical computer science
Affiliated Institutions
Related Publications
The structure of “THE”-multiprogramming system
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 l...
Sequencing Aspects of Multiprogramming
article Free AccessSequencing Aspects of Multiprogramming Author: J. Heller Institute of Mathematical Sciences, New York University, New York, N. Y. Institute of Mathematical Sc...
On a Decision Method in Restricted Second Order Arithmetic
The online version contains supplementary material available at 10.1007/s13205-025-04656-0.
A heuristic discussion of probabilistic decoding
This is another in a series of invited tutorial, status and survey papers that are being regularly solicited by the PTGIT Committee on Special Papers. We invited Profess01 Fano ...
Learning Automata: An Introduction
This self-contained introductory text on the behavior of learning automata focuses on how a sequential decision-maker with a finite number of choices responds in a random enviro...
Publication Info
- Year
- 1968
- Type
- article
- Volume
- 11
- Issue
- 5
- Pages
- 341-346
- Citations
- 1054
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
1054
OpenAlex
Cite This
Edsger W. Dijkstra
(1968).
The structure of the “THE”-multiprogramming system.
Communications of the ACM
, 11
(5)
, 341-346.
https://doi.org/10.1145/363095.363143
Identifiers
- DOI
- 10.1145/363095.363143