Operating Systems Review, Volume 16, 1982

Volume 16, Number 1, January 1982

• Richard C. Holt:
  TUNIS: A UNIX Look-Alike Written in Concurrent Euclid (Abstract). 4-5
  
• S. P. Rana:
  Triple-Handed Dining Philosophers. 6-9
  
• Richard M. Weatherly Jr., James F. Leathrum:
  Efficient Semaphore Management Using Read/Modify/Write Memory Cycles. 10-13
  
• S. Tucker Taft:
  An Object-Based Virtual Operating System For The Ada Programming Support Environment. 14-25
  
• Dan M. Nessett:
  Identifier Protection in a Distributed Operating System. 26-31
  
• James D. Mooney:
  USIM: A User Interface Manager. 32-40
  

Volume 16, Number 2, April 1982

• H. S. M. Kruijer:
  Processor Management in a Concurrent Pascal Kernel. 7-17
  
• J. Mack Adams, Andrew P. Black:
  On Proof Rules for Monitors. 18-27, (Reply: Operating System Review 16(4): 8-9 (1982))
  

Volume 16, Number 3, July 1982

• Krishna Kant, Abraham Silberschatz:
  On the Generalized Critical Region Construct. 4-16
  

Volume 16, Number 4, October 1982

• John H. Howard:
  Reply to "On Proof Rules for Monitors". 8-9
  
• J. R. Metzner:
  Structuring Operating Systems Literature for the Graduate Course. 10-25
  
• Irving L. Traiger:
  Virtual Memory Management for Database Systems. 26-48
  
• C. Gray Girling:
  Object Representation on a Heterogeneous Network. 49-59
  
• M. E. Harper:
  Mutual Exclusion Within Both Software- and Hardware-Driven Kernel Primitives. 60-68
  

Last update Sat May 25 16:47:06 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page