[PDF][PDF] The structure of the “THE”-multiprogramming system
EW Dijkstra - Communications of the ACM, 1968 - dl.acm.org
EW Dijkstra
Communications of the ACM, 1968•dl.acm.orgA 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.
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.
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.
ACM Digital Library