Proceedings of the Ninth ACM 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

Jerome H. Saltzer, Roy Levin, David D. Redell
Proceedings of the Ninth ACM Symposium on Operating System Principles
SOSP, 1983.

Full names Links ISxN
	address       = "Bretton Woods, New Hampshire, USA",
	doi           = "10.1145/800217",
	editor        = "Jerome H. Saltzer and Roy Levin and David D. Redell",
	isbn          = "0-89791-115-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Ninth ACM Symposium on Operating System Principles}",
	volume        = "Operating System Review 17(5)",
	year          = 1983,

Contents (16 items)

SOSP-1983-LindsayHMWY #communication #database #distributed
Computation & Communication in R*: A Distributed Database Manager (BGL, LMH, CM, PFW, RAY), pp. 1–2.
SOSP-1983-BirrellN #implementation
Implementing Remote Procedure Calls (AB, BJN), p. 3.
SOSP-1983-Black #communication #symmetry
An Asymmetric Stream Communication System (APB), pp. 4–10.
SOSP-1983-Craft #distributed #resource management
Resource Management In A Decentralized System (DHC), pp. 11–19.
SOSP-1983-ReidK #file system #source code
A File System Supporting Cooperation between Programs (LGR, PLK), pp. 20–19.
SOSP-1983-Stephenson #performance
Fast Fits (CJS), pp. 30–32.
SOSP-1983-Lampson #design
Hints for Computer System Design (BWL), pp. 33–48.
SOSP-1983-WalkerPEKT #distributed #operating system
The LOCUS Distributed Operating System (BJW, GJP, RE, CSK, GT), pp. 49–70.
SOSP-1983-MuellerMP #transaction
A Nested Transaction Mechanism for LOCUS (ETM, JDM, GJP), pp. 71–89.
SOSP-1983-BorgBG #fault tolerance
A Message System Supporting Fault Tolerance (AB, JB, SG), pp. 90–99.
SOSP-1983-PowellP #communication #named #reliability
PUBLISHING: A Reliable Broadcast Communication Mechanism (MLP, DLP), pp. 100–109.
SOSP-1983-PresottoM #migration #process
Process Migration in DEMOS/MP (MLP, BPM), pp. 110–119.
The TRIPOS Filing Machine, a Front End to a File Server (MFR, RMN), pp. 120–128.
SOSP-1983-CheritonZ #distributed #kernel #performance
The Distributed V Kernel and its Performance for Diskless Workstations (DRC, WZ), pp. 129–140.
SOSP-1983-SchroederBN #distributed #experience
Experience with Grapevine: The Growth of a Distributed System (MDS, AB, RMN), pp. 141–142.
SOSP-1983-Silverman #kernel #operating system #security #verification
Reflections on the Verification of the Security of an Operating System Kernel (JMS), pp. 143–154.

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.