4. SRDS 1984: Silver Spring, MD, USA

Reliable Communication

• Özalp Babaoglu, Rogério Drummond: Communication Architechtures for Fast Reliable Broadcasts. 2-10
• Eric C. Cooper: Circus: A Replicated Procedure Call Facility. 11-24
• Gerald Leitner: Stylized Interprocess Communication - A Kernel Primitive for Reliable Distributed Computing. 25-33

Network Partition Handling

• Michael A. Malcolm, R. Vasudevan: Coping with Network Partitions and Processor Failures in a Distributed System. 36-44
• Daniel Barbará, Hector Garcia-Molina: The Vulnerability of Voting Mechanisms. 45-53
• W. Kevin Wilkinson, Ming-Yee Lai: Managing Replicate Data in JASMIN. 54-60

Performane of Fault-Tolerant Systems

• Richard D. Schlichting: A Technique for Estimating Performance of Fault-Tolerant Programs. 62-74
• Nancy D. Griffeth, John A. Miller: Performance Modeling of Database Recovery Protocols. 75-83
• Ray Ford, Roger K. Shultz, Michael J. Jipping: Performance Evaluation of Distributed Concurrency Control Mechanisms. 84-89
• Shmuel Rotenstreich: Tolerating System Overloads: A Case Study. 90-95

Fault-Tolerance of Distributed Systems

• Benny Chor, Brian A. Coan: A Simple and Efficient Randomized Byzantine Agreement Algorithm. 98-106
• Kenneth J. Perry: Randomized Byzantine Agreement. 107-118
• Y. C. Tay: The Reliability of (k, n)-Resilient Distributed Systems. 119-122

Object Management in Distributed Operation Systems

• Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle, Amr El Abbadi: Implementing Fault-Tolerant Distributed Objects. 124-133
• Martin S. McKendry: Ordering Actions for Visibility. 134-145
• Francis C. M. Lau, Eric G. Manning: Cluster-Based Naming for Reliable Distributed Systems. 146-154

Concurrency Control in Distributed Systems

• Toshimi Minoura: Multi-Level Concurrency Control of a Database System. 156-168
• Kazuo Sugihara, Tohru Kikuno, Noriyoshi Yoshida, Masanobu Ogata: A Distributed Algorithm for Deadlock Detection and Resolution. 169-176
• Bosheng Zhou, Raymond T. Yeh, Peter A. Ng: An Algebraic System for Deadlock Detection and its Applications. 177-184

Reliable Transaction Management

• Alfred Z. Spector, Jacob Butcher, Dean S. Daniels, Daniel J. Duchamp, Jeffrey L. Eppinger, Charles E. Fineman, Abdelsalam Heddaya, Peter M. Schwarz: Support for Distributed Transactions in the TABS Prototype. 186-206
• D. Briatico, Augusto Ciuffoletti, Luca Simoncini: A Distributed Domino-Effect free recovery Algorithm. 207-215

Design Methodology for Reliable Software

• Fabrizio Baiardi, Laura Ricci, A. Tomasi, Marco Vanneschi: Structure Process for a Cooperative Approach to Fault-Tolerant Distributed Software. 218-231
• Hideaki Tsubotani, Noriaki Monden, Minoru Tanaka, Tadao Ichikawa: A Computing System to Support Development of Reliable Software. 232-237
• Fabio A. Schreiber: A Framework for Research in Performance-Availability of Automated Information Systems. 238-244