Hierarchical ordering of sequential processes

E.W. Dijkstra

Research output: Contribution to journalArticleAcademicpeer-review

443 Citations (Scopus)
1 Downloads (Pure)


One of the primary functions of an operating system is to rebuild a machine that must be regarded as non-deterministic (on account of cycle stealing and interrupts) into a more or less deterministic automaton. Taming the degree of indeterminacy in steps will lead to a layered operating system. A bottom layer will be discussed and so will the adequacy of the interface it presents. An analysis of the requirements of the correctness proofs will give us an insight into the logical issues at hand. A "director-secretary" relationship will be introduced to reflect a possible discipline in the use of sequencing primitives.
Original languageEnglish
Pages (from-to)115-138
Number of pages24
JournalActa Informatica
Issue number2
Publication statusPublished - 1971


Dive into the research topics of 'Hierarchical ordering of sequential processes'. Together they form a unique fingerprint.

Cite this