9. SRDS 1990: Huntsville, Alabama, USA

Distributed Operating Systems

• Tony P. Ng: The Design and Implementation of a Reliable Distributed Operating System - ROSE. 2-11 BibTeX
• Rafael Alonso, Daniel Barbará, Luis L. Cova: Using Stashing to Increase Node Autonomy in Distributed File Systems. 12-21 BibTeX
• Andrew B. Hastings: Distributed Lock Management in a Transaction Processing Environment. 22-31 BibTeX

Networks and Communications

• Malathi Veeraraghavan, Kishor S. Trivedi: An Improved ALgorithm for the Symbolic Reliability Analysis of Networks. 34-43 BibTeX
• Dov Bulka, Joanne Bechta Dugan: A Lower Bound On The Reliability of an n-Dimensional Hypercube. 44-53 BibTeX
• Paulo Veríssimo, José Alves Marques: Reliable Broadcast for Fault-Tolerance on Local Computer Networks. 54-63 BibTeX

Distributed Data Bases

• James W. Stamos, Flaviu Cristian: A Low-Cost Atomic Commit Protocol. 66-75 BibTeX
• Bharat K. Bhargava, Abdelsalam Helal, Karl Friesen, John Riedl: Adaptility Experiments in the RAID Distributed Data Base System. 76-85 BibTeX
• Wesley W. Chu, Andy Y. Hwang, Rei-Chi Lee, Qiming Chen, M. A. Merzbacher, Herbert Hecht: Fault Tolerant Distributed Data Base System via Data Inference. 86-94 BibTeX

Replication and Real Time

• Prabha Gopinath, Damian M. Lyons, Sandeep Mehta: Representation and Execution Support for Reliable Robot Applications. 96-103 BibTeX
• Alan Tully, Santosh K. Shrivastava: Preventing State Divergence in Replicated Distributed Programs. 104-113 BibTeX
• Felicita Di Giandomenico, Lorenzo Strigini: Adjudicators for Diverse-Redundant Components. 114-123 BibTeX

Algorithms

• Mirjana Obradovic, Piotr Berman: Voting as the Optimal Static Pessimistic Scheme for Managing Replicated Data. 126-135 BibTeX
• Douglas M. Blough, Gregory F. Sullivan: A Comparison of Voting Strategies for Fault-Tolerant Distributed Systems. 136-145 BibTeX
• Ye-In Chang, Mukesh Singhal, Ming T. Liu: A Fault Tolerant Algorithm for Distributed Mutual Exclusion. 146-154 BibTeX

Architecture

• Reinhold Kröger, Michael Mock, Ralf Schumann, Frank Lange: RelaX - An Extensible Architecture Supporting Reliable Distributed Applications. 156-164 BibTeX
• Hermann Kopetz, K. H. Kim: Temporal Uncertainties in Interactions among Real-Time Objects. 165-174 BibTeX
• Madalene Spezialetti, John P. Kearns: A General Methodology for the System State Characterization of Event Recognitions. 175-184 BibTeX