Key points are not available for this paper at this time.
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.
Building similarity graph...
Analyzing shared references across papers
Loading...
Edsger W. Dijkstra (Wed,) studied this question.
synapsesocial.com/papers/6a090bc036c557a7e273b83c — DOI: https://doi.org/10.1145/363095.363143
Edsger W. Dijkstra
Burroughs Wellcome Fund
Communications of the ACM
Eindhoven University of Technology
Building similarity graph...
Analyzing shared references across papers
Loading...