Proceedings of the Seventh 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

Michael D. Schroeder, Anita K. Jones
Proceedings of the Seventh Symposium on Operating System Principles
SOSP, 1979.

Full names Links ISxN
	address       = "Pacific Grove, California, USA",
	doi           = "10.1145/800215",
	editor        = "Michael D. Schroeder and Anita K. Jones",
	isbn          = "0-89791-009-5",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Seventh Symposium on Operating System Principles}",
	volume        = "Operating System Review 13(5)",
	year          = 1979,

Contents (23 items)

SOSP-1979-CanonFHHMR #evaluation #performance #virtual machine
A Virtual Machine Emulator for Performance Evaluation (MDC, DHF, JHH, TDH, MFM, JRR), p. 1.
SOSP-1979-KumarG #analysis #distributed #modelling
Modelling and Analysis of Distributed Software Systems (BK, TAG), pp. 2–8.
SOSP-1979-SwinehartMB #distributed #file system #named
WFS: A Simple Shared File System for a Distributed Environment (DCS, GM, DB), pp. 9–17.
SOSP-1979-Paxton #maintenance #transaction
A Client-Based Transaction System to Maintain Data Integrity (WHP), pp. 18–23.
Evaluating Synchronization Mechanisms (TB), pp. 24–32.
SOSP-1979-Liskov #distributed
Primitives for Distributed Computing (BL), pp. 33–42.
SOSP-1979-LampsonR #experience #monitoring #process
Experience with Processes and Monitors in Mesa (BWL, DDR), pp. 43–44.
SOSP-1979-BishopS #information management
The Transfer of Information and Authority in a Protection System (MB, LS), pp. 45–54.
SOSP-1979-Reitman #parallel
A Mechanism for Information Control in Parallel Systems (RPR), pp. 55–63.
SOSP-1979-WalkerKP #kernel #security #specification #verification
Specification and Verification of the UCLA Unix Security Kernel (BJW, RAK, GJP), pp. 64–65.
SOSP-1979-AimesL #behaviour #communication #network
The Behavior of Ethernet-Like Computer Communication Networks (GTA, EDL), pp. 66–81.
SOSP-1979-Needham #aspect-oriented
Systems Aspects of the Cambridge Ring (RMN), pp. 82–85.
SOSP-1979-LantzR #multi #process
Virtual Terminal Management in a Multiple Process Environment (KAL, RFR), pp. 86–97.
SOSP-1979-LampsonS #operating system
An Open Operating System for a Single-User Machine (BWL, RFS), pp. 98–105.
SOSP-1979-RedellDHLLMMP #named #operating system
Pilot: An Operating System for a Personal Computer (DDR, YKD, TRH, HCL, WCL, PRM, HGM, SCP), pp. 106–107.
SOSP-1979-SolomonF #distributed #operating system
The ROSCOE Distributed Operating System (MHS, RAF), pp. 108–114.
SOSP-1979-OusterhoutSS #distributed #empirical #named #operating system
Medusa: An Experiment in Distributed Operating System Structure (JKO, DAS, PSS), pp. 115–116.
SOSP-1979-JonesCDSV #multi #operating system
StarOS, a Multiprocessor Operating System for the Support of Task Forces (AKJ, RJCJ, ID, KS, SRV), pp. 117–127.
SOSP-1979-Cook #operating system
In Support of Domain Structure for Operating Systems (DC), pp. 128–130.
SOSP-1979-Gehringer #problem
Variable-Length Capabilities as a Solution to the Small-Object Problem (EFG), pp. 131–142.
SOSP-1979-Montgomery #distributed #implementation #named
Polyvalues: A Tool for Implementing Atomic Updates to Distributed Data (WAM), pp. 143–149.
Weighted Voting for Replicated Data (DKG), pp. 150–162.
SOSP-1979-Reed #distributed #implementation
Implementing Atomic Actions on Decentralized Data (DPR), p. 163.

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.