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

@proceedings{SOSP-1979,
	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)

7 ×#distributed
6 ×#operating system
4 ×#named
4 ×#summary
2 ×#implementation
2 ×#multi
2 ×#process

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.

SOSP-1979-Bloom

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.

SOSP-1979-Gifford

Weighted Voting for Replicated Data (DKG), pp. 150–162.

SOSP-1979-Reed #distributed #implementation

Implementing Atomic Actions on Decentralized Data (DPR), p. 163.