The structure of the ``THE-multiprogramming system

DOI10.1145/3544585.3544605MaRDI QIDQ6624641zbMATH OpenFDO

Authors Edsger W. Dijkstra

Publication date 28 October 2024

zbMATH Keywords

program verificationprocessor sharingmultiprogrammingsystem structureoperating systemmultiprocessingmultiprogramming systemsystem hierarchycooperating sequential processesinput-output bufferingreal-time debuggingsynchronizing primitivessystem levels

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Computer science (68-XX)

This page was built for publication: The structure of the ``THE-multiprogramming system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6624641)