BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-73-401
       ENTRY:: September 25, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: Monitors: an operating system structuring concept.
        TYPE:: Technical Report
      AUTHOR:: Hoare, C. A. R.
        DATE:: November 1973
       PAGES:: 26
    ABSTRACT:: This paper develops Brinch-Hansen's concept of a monitor as a
               method of structuring an operating system. It introduces a
               form of synchronization, describes a possible method of
               implementation in terms of semaphores, and gives a suitable
               proof rule. Illustrative examples include a single resource
               scheduler, a bounded buffer, an alarm clock, a buffer pool, a
               disc head optimizer, and a version of the problem of readers
               and writers.
       NOTES:: [Adminitrivia V1/Prg/19950925]
         END:: STAN//CS-TR-73-401