Abstract is missing.
- The Cap Filing SystemRoger M. Needham, Andrew Birrell. 11-16
- The CAP Project - An Interim EvaluationRoger M. Needham. 17-22
- Task Communication in DEMOSForest Baskett, John H. Howard, John T. Montague. 23-31
- The DEMOS File SystemMichael L. Powell. 33-42
- The Multics Kernel Design ProjectMichael D. Schroeder, David D. Clark, Jerome H. Saltzer. 43-56
- Proving Multilevel Security of a System DesignRichard J. Feiertag, Karl N. Levitt, Lawrence Robinson. 57-65
- Consistency and Correctness of Duplicate Database SystemsClarence A. Ellis. 67-84
- Measurements of Sharing in MulticsWarren A. Montgomery. 85-90
- Synchronization with Eventcounts and Sequencers (Extended Abstract)David P. Reed, Rajendra K. Kanodia. 91
- METRIC: A Kernel Instrumentation System for Distributed EnvironmentsGene McDaniel. 93-99
- A Domain Structure for Distributed Computer SystemsL. M. Casey, N. H. Shelness. 101-108
- Automatic and General Solution to the Adaption of Programs in a Paging EnvironmentJ. Y. Babonneau, M. S. Achard, Gérard Morisset, M. B. Mounajjed. 109-116
- Effect of Program Localities on Memory Management StrategiesTakashi Masuda. 117-124
- Analysis of Demand Paging Policies with Swapped Working SetsDominique Potier. 125-131
- Information Transmission in Computational SystemsEllis S. Cohen. 133-139
- On the Synthesis and Analysis of Protection SystemsLawrence Snyder. 141-150
- Process Backup in Producer-Consumer SystemsDavid L. Russell. 151-157
- Indeterminancy, Monitors, and DataflowArvind, Kim P. Gostelow, Wil Plouffe. 159-169
- Thoth, a Portable Real-Time Operating System (Extended Abstract)David R. Cheriton, Michael A. Malcolm, Lawrence S. Melen, Gary R. Sager. 171
- Beyond Concurrent PascalKlaus-Peter Löhr. 173-180