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 BibTeX
• S. P. Rana: Triple-Handed Dining Philosophers. 6-9 BibTeX
• Richard M. Weatherly Jr., James F. Leathrum: Efficient Semaphore Management Using Read/Modify/Write Memory Cycles. 10-13 BibTeX
• S. Tucker Taft: An Object-Based Virtual Operating System For The Ada Programming Support Environment. 14-25 BibTeX
• Dan M. Nessett: Identifier Protection in a Distributed Operating System. 26-31 BibTeX
• James D. Mooney: USIM: A User Interface Manager. 32-40 BibTeX

Volume 16, Number 2, April 1982

• H. S. M. Kruijer: Processor Management in a Concurrent Pascal Kernel. 7-17 BibTeX
• J. Mack Adams, Andrew P. Black: On Proof Rules for Monitors. 18-27 BibTeX , 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 BibTeX

Volume 16, Number 4, October 1982

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