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 updated on Tue May 21 03:24:15 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page