Hierarchical ordering of sequential processes

  title={Hierarchical ordering of sequential processes},
  author={E. Dijkstra},
  journal={Acta Informatica},
  • 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
    486 Citations
    The synchronization of independent processes
    • 11
    Operating Systems a Large Semaphore Based Operating System
    Resource-Oriented Deadlock Analysis
    • 7
    A proof method for cyclic programs
    • 25
    Functional behavior in data spaces
    • 2
    An approach to automating the verification of compact parallel coordination programs. I
    • 52
    • Highly Influenced
    Behavioural specifications '
    • 1
    • PDF
    A semantics for concurrent separation logic
    • 167


    The Act of Creation
    • 2,308
    The sciences of artifical
    • 1969