The structure of the THE-multiprogramming system

E.W. Dijkstra

Research output: Contribution to journalArticleAcademicpeer-review

625 Citations (Scopus)

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.
Original languageEnglish
Pages (from-to)341-346
Number of pages6
JournalCommunications of the ACM
Volume11
Issue number5
DOIs
Publication statusPublished - 1968

Fingerprint

Dive into the research topics of 'The structure of the THE-multiprogramming system'. Together they form a unique fingerprint.

Cite this