6. SRDS 1987

Keynote Address

• Andrew S. Tanenbaum, Robbert van Renesse: Reliability Issues in Distributed Operating Systems. 3-11 BibTeX

Communication and Control

• Dennis Draheim, Barton P. Miller, Steven Snyder: A Reliable and Secure UNIX Connection Service. 15-21 BibTeX
• Larry L. Peterson: Preserving Context Information in an IPC Abstraction. 22-31 BibTeX
• Karsten Schwan, Thomas E. Bihari, Ben A. Blake: Adaptive, Reliable Software for Distributed and Parallel Real-Time Systems. 32-42 BibTeX

Programming Support

• Gail E. Kaiser, Simon M. Kaplan: Reliability in Distributed Programming Environments. 45-55 BibTeX
• Stuart H. Jones, Robert H. Barkan, Larry D. Wittie: Bugnet: A Real Time Distributed Programmng Environments. 56-65 BibTeX
• Dieter Haban: DTM - A Method for Testing Distributed Systems. 66-73 BibTeX

Replicated DataM

• Darrell D. E. Long, Jehan-François Pâris: On Improving the Availability of Replicated Files. 77-83 BibTeX
• Ching-Yi Wang, David L. Spooner: Access Control in a Heterogeneous Distributed Database Management System. 84-92 BibTeX
• Chung-Kuo Chang, Mohamed G. Gouda: Independent Recovery. 93-104 BibTeX

Object Based Systems

• Graeme N. Dixon, Santosh K. Shrivastava: Exploiting Type Inheritance Facilities to Implement Recoverability in Object Based Systems. 107-114 BibTeX
• Mustaque Ahamad, Partha Dasgupta, Richard J. LeBlanc, C. Thomas Wilkes: Fault Tolerant Computing in Object Based Distributed Operating Systems. 115-125 BibTeX
• Calton Pu, Jerre D. Noe: Design and Implementation of Nested Transactions in Eden. 126-136 BibTeX

Concurrency and Synchronization

• N. Natarajan, Jian Tang: Synchronization of Redundant Computation in a Distributed System. 139-148 BibTeX
• Klaus Echtle: Fault Masking and Sequence Agreement by a Voting Protocol with low Message Number. 149-160 BibTeX
• Mustaque Ahamad, Mostafa H. Ammar: Performance Characterization of Quorum-Consensus Allgorihms for Replicated Data. 161-168 BibTeX

Invited Address

• K. Mani Chandy: Representing Faulty Distributed Systems as Nondeterministic Sequential Systems. 171-173 BibTeX

Algorithms

• Daniel Barbará, Hector Garcia-Molina, Boris Kogan: Maintaining Availability of Replicated Data in a Dynamic Failure Environment. 177-187 BibTeX
• Felicita Di Giandomenico, M. L. Guidotti, Fabrizio Grandoni, Luca Simoncini: A Gracefully Degradable Algorithm for Byzantine Agreement. 188-200 BibTeX
• Paul D. Ezhilchelvan: Early Stopping Algorithms for Distributed Agreement under Fail-Stop, Omission, and Timing Fault-Types. 201-212 BibTeX