Communications of the ACM - researchr journal

236	--	243	Dorothy E. Denning. A Lattice Model of Secure Information Flow
243	--	250	Jonathan K. Millen. Security Kernel Validation in Practice
251	--	265	Butler W. Lampson, Howard E. Sturgis. Reflections on an Operating System Design
266	--	272	A. Nico Habermann, Lawrence Flon, Lee W. Cooprider. Modularization and Hierarchy in a Family of Operating Systems
273	--	279	John H. Howard. Proving Monitors
279	--	285	Susan S. Owicki, David Gries. Verifying Properties of Parallel Programs: An Axiomatic Approach
285	--	294	A. Wayne Madison, Alan P. Batson. Characteristics of Program Localities
295	--	297	Barton G. Prieve, Robert S. Fabry. VMIN-An Optimal Variable-Space Page Replacement Algorithm
298	--	304	Wesley W. Chu, Holger Opderbeck. Analysis of the PFF Replacement Algorithm via a Semi-Markov Model

External Links