Proceedings of the Sixth Symposium on Operating System Principles
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

Full names Links ISxN
	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)

The Cambridge CAP Computer and its Protection System (RMN, RDHW), pp. 1–10.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.