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}
}
  • E. Dijkstra
  • Published 1968
  • Computer Science
  • Commun. ACM
  • 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. 
    1,175 Citations

    Topics from this paper

    Reasoning about locks and transactions in concurrent programs
    • 1
    • Highly Influenced
    • PDF
    SCOPE: Scalable Clustered Objects with Portable Events
    • Highly Influenced
    Managing the dynamism of the OSGi Service Platform in real-time Java applications
    • 6
    • Highly Influenced
    • PDF
    Semaphores , Are They Really Like Traffic Signals ?
    • Highly Influenced
    • PDF
    Practical Architectures for Survivable Systems and Networks: Phase-One Final Report
    • 21
    • Highly Influenced
    • PDF
    Program graphs, an algebra, and their implication for programming
    • M. R. Paige
    • Computer Science
    • IEEE Transactions on Software Engineering
    • 1975
    • 30
    • Highly Influenced
    A Control Structure for Parallel Processing
    • 2
    • Highly Influenced
    Node Interaction in 802.11 based networks with boolean interference
    • 2
    • Highly Influenced
    Use of tabular expressions in the inspection of concurrent programs
    • 2
    • Highly Influenced
    • PDF