6. SOSP 1977: West Lafayette, Indiana

Proceedings of the Sixth Symposium on Operating System Principles, 16-18 November 1977, Purdue University, West Lafayette, Indiana, Operating System Review 11(5), ACM, New York

The CAP System

Roger M. Needham, R. D. H. Walker: The Cambridge CAP Computer and its Protection System. 1-10 BibTeX
Roger M. Needham, Andrew Birrell: The Cap Filing System. 11-16 BibTeX
Roger M. Needham: The CAP Project - An Interim Evaluation. 17-22 BibTeX

The Demos System

Forest Baskett, John H. Howard, John T. Montague: Task Communication in DEMOS. 23-31 BibTeX
Michael L. Powell: The DEMOS File System. 33-42 BibTeX

Issues in Computer Security

Michael D. Schroeder, David D. Clark, Jerome H. Saltzer: The Multics Kernel Design Project. 43-56 BibTeX
Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson: Proving Multilevel Security of a System Design. 57-65 BibTeX
Clarence A. Ellis: Consistency and Correctness of Duplicate Database Systems. 67-84 BibTeX

Towards Distributed Systems

Warren A. Montgomery: Measurements of Sharing in Multics. 85-90 BibTeX
David P. Reed, Rajendra K. Kanodia: Synchronization with Eventcounts and Sequencers (Extended Abstract). 91 BibTeX , long version: CACM
Gene McDaniel: METRIC: A Kernel Instrumentation System for Distributed Environments. 93-99 BibTeX
L. M. Casey, N. H. Shelness: A Domain Structure for Distributed Computer Systems. 101-108 BibTeX

Program and Memory Policy Performance

J. Y. Babonneau, M. S. Achard, Gérard Morisset, M. B. Mounajjed: Automatic and General Solution to the Adaption of Programs in a Paging Environment. 109-116 BibTeX
Takashi Masuda: Effect of Program Localities on Memory Management Strategies. 117-124 BibTeX
Dominique Potier: Analysis of Demand Paging Policies with Swapped Working Sets. 125-131 BibTeX

Information Flow and Fault Tolerance

Ellis S. Cohen: Information Transmission in Computational Systems. 133-139 BibTeX
Lawrence Snyder: On the Synthesis and Analysis of Protection Systems. 141-150 BibTeX
David L. Russell: Process Backup in Producer-Consumer Systems. 151-157 BibTeX

Language and Systems

Arvind, Kim P. Gostelow, Wil Plouffe: Indeterminancy, Monitors, and Dataflow. 159-169 BibTeX
David R. Cheriton, Michael A. Malcolm, Lawrence S. Melen, Gary R. Sager: Thoth, a Portable Real-Time Operating System (Extended Abstract). 171 BibTeX , long version: CACM
Klaus-Peter Löhr: Beyond Concurrent Pascal. 173-180 BibTeX

Copyright © Sat May 16 23:42:02 2009 by Michael Ley (ley@uni-trier.de)