Volume 24, Number 1, January 1990
Micha Hofri:
Proof of a Mutual Exclusion Algorithm - A 'Class'ic Example.
18-22
Volume 24, Number 2, April 1990
Andy Hopper:
Pandora - An Experimental System for Multimedia Applications.
19-34
Dan M. Nessett:
A Critique of the Burrows, Abadi and Needham Logic.
35-38
Bob Beck:
AAMP: A Multiprocessor Approach for Operating System and Application Migration.
41-55
Roger Oliver:
Protection in a Distributed Document Processing System.
56-65
Joseph W. Seigh:
A Distributed Solution to the Reader-Writer Problem.
66-68
Volume 24, Number 3, July 1990
Luis-Felipe Cabrera:
Technical Summary of the Second IEEE Workshop on Workstation Operating Systems.
7-21
Volume 24, Number 4, October 1990
Tai-Kuo Woo:
A Note on Lamport's Mutual Exclusion Algorithm.
78-80