Thumbnail
Access Restriction
Subscribed

Author Dijkstra, Edsger W.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword System structure ♦ Input-output buffering ♦ Cooperating sequential processes ♦ Program verification ♦ System levels ♦ Real-time debugging ♦ System hierarchy ♦ Multiprocessing ♦ Multiprogramming system ♦ Multiprogramming ♦ Processor sharing ♦ Synchronizing primitives ♦ Operating system
Abstract 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.
Description Affiliation: Technological Univ., Eindhoven, The Netherlands (Dijkstra, Edsger W.)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 26
Issue Number 1
Page Count 4
Starting Page 49
Ending Page 52


Open content in new tab

   Open content in new tab
Source: ACM Digital Library