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