Abstract is missing.
- A Virtual Machine Emulator for Performance Evaluation (Summary)M. D. Canon, D. H. Fritz, John H. Howard, T. D. Howell, Michael F. Mitoma, Juan Rodriguez-Rossel. 1
- Modelling and Analysis of Distributed Software SystemsB. Kumar, Timothy A. Gonsalves. 2-8
- WFS: A Simple Shared File System for a Distributed EnvironmentDaniel C. Swinehart, Gene McDaniel, David Boggs. 9-17
- A Client-Based Transaction System to Maintain Data IntegrityWilliam H. Paxton. 18-23
- Evaluating Synchronization MechanismsToby Bloom. 24-32
- Primitives for Distributed ComputingBarbara Liskov. 33-42
- Experience with Processes and Monitors in Mesa (Summary)Butler W. Lampson, David D. Redell. 43-44
- A Mechanism for Information Control in Parallel SystemsRichard P. Reitman. 55-63
- Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract)Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek. 64-65
- The Behavior of Ethernet-Like Computer Communication NetworksGuy T. Almes, Edward D. Lazowska. 66-81
- Systems Aspects of the Cambridge RingRoger M. Needham. 82-85
- Virtual Terminal Management in a Multiple Process EnvironmentKeith A. Lantz, Richard F. Rashid. 86-97
- An Open Operating System for a Single-User MachineButler W. Lampson, Robert F. Sproull. 98-105
- Pilot: An Operating System for a Personal Computer (Summary)David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, Stephen C. Purcell. 106-107
- Medusa: An Experiment in Distributed Operating System Structure (Summary)John K. Ousterhout, Donald A. Scelza, Pradeep S. Sindhu. 115-116
- StarOS, a Multiprocessor Operating System for the Support of Task ForcesAnita K. Jones, Robert J. Chansler Jr., Ivor Durham, Karsten Schwan, Steven R. Vegdahl. 117-127
- Variable-Length Capabilities as a Solution to the Small-Object ProblemEdward F. Gehringer. 131-142
- Polyvalues: A Tool for Implementing Atomic Updates to Distributed DataWarren A. Montgomery. 143-149
- Weighted Voting for Replicated DataDavid K. Gifford. 150-162
- Implementing Atomic Actions on Decentralized DataDavid P. Reed. 163