Monitors: An Operating System Structuring Concept

This publication has 9 references indexed in Scilit:

• A structured paging system
  The Computer Journal, 1973
• Information streams sharing a finite buffer
  Information Processing Letters, 1972
• A comparison of two synchronizing concepts
  Acta Informatica, 1972
• Structured multiprogramming
  Communications of the ACM, 1972
• Comments on ?A comparison of two synchronizing concepts by P.B. Hansen?
  Acta Informatica, 1972
• Proof of correctness of data representations
  Acta Informatica, 1972
• Concurrent control with “readers” and “writers”
  Communications of the ACM, 1971
• The programming language pascal
  Acta Informatica, 1971
• A constructive approach to the problem of program correctness
  BIT Numerical Mathematics, 1968