Abstract is missing.
- Proving Real-Time Properties of Programs with Temporal LogicArthur J. Bernstein, Paul K. Harter Jr.. 1-11
- Design and Verification of Secure SystemsJohn M. Rushby. 12-21
- A NonStop KernelJoel F. Bartlett. 22-19
- Observations on the Development of an Operating SystemHugh C. Lauer. 30-36
- The Felix File SystemM. Fridrich, William J. Older. 37-44
- A Comparison of Two Network-Based File ServersJames G. Mitchell, Jeremy Dion. 45-46
- A Reliable Object-Oriented Data Repository for a Distributed Computer SystemLiba Svobodova. 47-58
- Sequencing Computation Steps in a NetworkA. J. Herbert, Roger M. Needham. 59-63
- Performing Remore Operations Efficiently on a Local Computer Network (Summary)Alfred Z. Spector. 76-77
- Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference BitsÖzalp Babaoglu, William N. Joy. 78-86
- WSClock - A Simple and Effective Algorithm for Virtual Memory ManagementRichard W. Carr, John L. Hennessy. 87-95
- A Study of File Sizes and Functional LifetimesMahadev Satyanarayanan. 96-108
- Hierarchical Take-Grant Protection SystemsMatt Bishop. 109-122
- Cryptographic Sealing for Information Secrecy and Authentication (Summary)David K. Gifford. 123-124
- A Unified Model and Implementation for Interprocess Communication in a Multiprocessor EnvironmentGeorge W. Cox, William M. Corwin, Konrad K. Lai, Fred J. Pollack. 125-126
- iMAX: A Multiprocessor Operating System for an Object-Based ComputerKevin C. Kahn, William M. Corwin, T. Don Dennis, Herman D Hooge, David E. Hubka, Linda A. Hutchins, John T. Montague, Fred J. Pollack. 127-136
- The iMAX-432 Object Filing SystemFred J. Pollack, Kevin C. Kahn, Roy M. Wilkinson. 137-147
- The Architecture of the Eden SystemEdward D. Lazowska, Henry M. Levy, Guy T. Almes, Michael J. Fischer, Robert J. Fowler, Stephen C. Vestal. 148-159
- A Distributed UNIX System Based on a Virtual Circuit SwitchGottfried W. R. Luderer, H. Che, J. P. Haggerty, Peter A. Kirslis, W. T. Marshall. 160-168
- LOCUS - A Network Transparent, High Reliability Distributed SystemGerald J. Popek, Bruce J. Walker, Johanna M. Chow, David A. Edwards, Gerard Rudisin, Greg Thiel. 169-177
- Gravevine: An Exercise in Distributed Computing (summary)Andrew Birrell, Roy Levin, Roger M. Needham, Michael D. Schroeder. 178-179
- BRUWIN: An Adaptable Design Strategy for Window Manager / Virtual Terminal SystemsNorman K. Meyrowitz, Margaret Moser. 180-189