Volume 24, Number 1, January 1990
: Proof of a Mutual Exclusion Algorithm - A 'Class'ic Example.
Volume 24, Number 2, April 1990
: Pandora - An Experimental System for Multimedia Applications.
Dan M. Nessett
: A Critique of the Burrows, Abadi and Needham Logic.
: AAMP: A Multiprocessor Approach for Operating System and Application Migration.
: Protection in a Distributed Document Processing System.
Joseph W. Seigh
: A Distributed Solution to the Reader-Writer Problem.
Volume 24, Number 3, July 1990
: Technical Summary of the Second IEEE Workshop on Workstation Operating Systems.
Volume 24, Number 4, October 1990
: A Note on Lamport's Mutual Exclusion Algorithm.