The Structure of the "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 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. CACM May, 1968 Dijkstra, E. W. operating system, multiprogramming system, system hierarchy, system structure, real-time debugging, program verification, synchronizing primitives, cooperating sequential processes, system levels, input-output buffering, multiprogramming, processor sharing, multiprocessing 4.30 4.32 CA680507 JB February 23, 1978 9:20 AM 1749 5 1749 1749 5 1749 1749 5 1749 1828 5 1749 1854 5 1749 1877 5 1749 1960 5 1749 2150 5 1749 2317 5 1749 2319 5 1749 2342 5 1749 2376 5 1749 2377 5 1749 2379 5 1749 2424 5 1749 2482 5 1749 2618 5 1749 2632 5 1749 2704 5 1749 2723 5 1749 2738 5 1749 2740 5 1749 2741 5 1749 2867 5 1749 3184 5 1749 1198 6 1749 1198 6 1749 1198 6 1749 1198 6 1749 1198 6 1749 1198 6 1749 1247 6 1749 1338 6 1749 1338 6 1749 1338 6 1749 1408 6 1749 1421 6 1749 1471 6 1749 1471 6 1749 1471 6 1749 1471 6 1749 1471 6 1749 1526 6 1749 1549 6 1749 1552 6 1749 1572 6 1749 1693 6 1749 1719 6 1749 1746 6 1749 1748 6 1749 1748 6 1749 1749 6 1749 1749 6 1749 1749 6 1749 1749 6 1749 1749 6 1749 1749 6 1749 1749 6 1749 1749 6 1749 1749 6 1749 1749 6 1749 1749 6 1749 1749 6 1749 1749 6 1749 1749 6 1749 1749 6 1749 1749 6 1749 1749 6 1749 1749 6 1749 1749 6 1749 1749 6 1749 1749 6 1749 1749 6 1749 1751 6 1749 1753 6 1749 1781 6 1749 1826 6 1749 210 6 1749 1854 6 1749 1877 6 1749 1877 6 1749 1877 6 1749 1960 6 1749 2016 6 1749 2017 6 1749 2080 6 1749 2080 6 1749 2080 6 1749 2080 6 1749 2126 6 1749 2148 6 1749 2188 6 1749 2203 6 1749 2204 6 1749 2228 6 1749 2228 6 1749 2247 6 1749 2247 6 1749 2256 6 1749 2356 6 1749 2356 6 1749 2358 6 1749 2379 6 1749 2379 6 1749 2454 6 1749 2651 6 1749 2673 6 1749 2777 6 1749 557 6 1749 627 6 1749 731 6 1749