Volume 5, Number 1, February 1987
Leslie Lamport: A Fast Mutual Exclusion Algorithm. 1-11- David R. Cheriton: UIO: A Uniform I/O System Interface for Distributed Systems. 12-46
Volume 5, Number 2, May 1987
- Richard W. Watson, Sandra A. Mamrak: Gaining Efficiency in Transport Services by Appropriate Design and Implementation Choices. 97-120
- Janice I. Glasgow, Glenn H. MacEwen: The Development and Proof of a Formal Specification for a Multilevel Secure System. 151-184
Volume 5, Number 3, August 1987
- Karsten Schwan, Thomas E. Bihari, Bruce W. Weide, Gregor Taulbee: High-Performance Operating System Primitives for Robotics and Real-Time Control Systems. 189-231
- Paul K. Harten Jr.: Response Times in Level-Structured Systems. 232-248
- Maurice Herlihy: Concurrency versus Availability: Atomic Mechanisms for Replicated Data. 249-274
- W. Worth Kirkman: An Optimized Contention Protocol for Broadband Networks. 275-283
- Beverly A. Sanders: The Information Structure of Distributed Mutual Exclusion Algorithms. 284-299
Volume 5, Number 4, November 1987
- Joseph R. Falcone: A Programmable Interface Language for Heterogeneous Distributed Systems. 330-351
- Philip D. L. Koch: Disk File Allocation Based on the Buddy System. 352-370
- Özalp Babaoglu: On the Reliability of Consensus-Based Fault-Tolerant Distributed Compting Systems. 394-416
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team