Saul Rosen, Peter J. Denning
Proceedings of the Sixth Symposium on Operating System Principles
SOSP, 1977.

@proceedings{SOSP-1977,
	address       = "West Lafayette, Indiana, USA",
	doi           = "10.1145/800214",
	editor        = "Saul Rosen and Peter J. Denning",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Sixth Symposium on Operating System Principles}",
	volume        = "Operating System Review 11(5)",
	year          = 1977,
}

Contents (21 items)

3 ×#multi
2 ×#analysis
2 ×#design
2 ×#distributed
2 ×#kernel
2 ×#metric

SOSP-1977-NeedhamW

The Cambridge CAP Computer and its Protection System (RMN, RDHW), pp. 1–10.

SOSP-1977-NeedhamB

The Cap Filing System (RMN, AB), pp. 11–16.

SOSP-1977-Needham #evaluation

The CAP Project — An Interim Evaluation (RMN), pp. 17–22.

SOSP-1977-BaskettHM #communication

Task Communication in DEMOS (FB, JHH, JTM), pp. 23–31.

SOSP-1977-Powell #file system

The DEMOS File System (MLP), pp. 33–42.

SOSP-1977-SchroederCS #design #kernel #multi

The Multics Kernel Design Project (MDS, DDC, JHS), pp. 43–56.

SOSP-1977-FeiertagLR #design #multi #proving #security

Proving Multilevel Security of a System Design (RJF, KNL, LR), pp. 57–65.

SOSP-1977-Ellis #consistency #correctness #database

Consistency and Correctness of Duplicate Database Systems (CAE), pp. 67–84.

SOSP-1977-Montgomery #metric #multi

Measurements of Sharing in Multics (WAM), pp. 85–90.

SOSP-1977-ReedK

Synchronization with Eventcounts and Sequencers (DPR, RKK), p. 91.

SOSP-1977-McDaniel #distributed #kernel #metric #named

METRIC: A Kernel Instrumentation System for Distributed Environments (GM), pp. 93–99.

SOSP-1977-CaseyS #distributed

A Domain Structure for Distributed Computer Systems (LMC, NHS), pp. 101–108.

SOSP-1977-BabonneauAMM #adaptation #automation #source code

Automatic and General Solution to the Adaption of Programs in a Paging Environment (JYB, MSA, GM, MBM), pp. 109–116.

SOSP-1977-Masuda #memory management

Effect of Program Localities on Memory Management Strategies (TM), pp. 117–124.

SOSP-1977-Potier #analysis #policy #set

Analysis of Demand Paging Policies with Swapped Working Sets (DP), pp. 125–131.

SOSP-1977-Cohen #information management

Information Transmission in Computational Systems (ESC), pp. 133–139.

SOSP-1977-Snyder #analysis #on the #synthesis

On the Synthesis and Analysis of Protection Systems (LS), pp. 141–150.

SOSP-1977-Russell #process

Process Backup in Producer-Consumer Systems (DLR), pp. 151–157.

SOSP-1977-ArvindGP #data flow #monitoring

Indeterminancy, Monitors, and Dataflow (A, KPG, WP), pp. 159–169.

SOSP-1977-CheritonMMS #operating system #realtime

Thoth, a Portable Real-Time Operating System (DRC, MAM, LSM, GRS), p. 171.

SOSP-1977-Lohr #concurrent #pascal

Beyond Concurrent Pascal (KPL), pp. 173–180.