• DOI:10.1007/BF00289519
Corpus ID: 31573213

Hierarchical ordering of sequential processes

@article{Dijkstra2004HierarchicalOO,
  title={Hierarchical ordering of sequential processes},
  author={E. Dijkstra},
  journal={Acta Informatica},
  year={2004},
  volume={1},
  pages={115-138}
}

E. Dijkstra

Published 2004

Computer Science

Acta Informatica

SummaryOne 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… CONTINUE READING

View on Springer

cs.utexas.edu

Save to Library

Create Alert

Cite

Launch Research Feed