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,146 Citations

    Topics from this paper.

    Reasoning about locks and transactions in concurrent programs
    • 1
    • Highly Influenced
    • PDF
    SCOPE: Scalable Clustered Objects with Portable Events
    The Semantics and Implementation of Bindings in Higher-Order Programming Languages
    • 4
    • Highly Influenced
    A Control Structure for Parallel Processing
    • 2
    • Highly Influenced
    Edsger Dijkstra
    • B. Randell
    • 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
    • 6
    • Highly Influenced
    • PDF
    Practical Architectures for Survivable Systems and Networks: Phase-One Final Report
    • 21
    • Highly Influenced
    • PDF
    Semaphores , Are They Really Like Traffic Signals ?
    1 Process Structuring
    • 4
    • Highly Influenced
    • PDF