3. SRDS 1983: Clearwater Beach, FL, USA

Third Symposium on Reliability in Distributed Software and Database Systems, October 17-19, 1983, Adam's Mark, Caribbean Gulf Resort, Clearwater Beach, FL, USA. IEEE Computer Society Press, 1983, ISBN 0-8186-0501-4

Keynote Adress

Brian Randell: Recursively Structured Distributed Computing Systems. 3-11 BibTeX

Recovery Issues in Distributed Systems

R. Keith Scott, James W. Gault, David F. McAllister: Modeling Fault-Tolerant Software Reliability. 15-27 BibTeX
Gary York, Daniel P. Siewiorek, Zary Segall: Asynchronous Software Voting in NMR Computer Structures. 28-37 BibTeX
Hector Garcia-Molina, Tim Allen, Barbara T. Blaustein, R. Mark Chilenskas, Daniel R. Ries: Data-Pach: Integrating Inconsistent Copies of a Database After a Partition. 38-44 BibTeX

Design Issues in Distributed Database Systems

James E. Allchin: A Suite of Robust Algorithms For Maintaining Replicated Data Using Weak Consistency Conditions. 47-56 BibTeX
Costantino Thanos, Carlo Carlesi, Elisa Bertino: Performance Evaluation of Two-Phase Locking Algorithms in a System for Distributed Databases. 57-69 BibTeX

Panel: Requirements and Issues in the Implementation of Reliable Distributed Systems.

Chair: Herbert Hecht

Recent Advances in Distributed Processing and Reliable Computing

Ching-Chao Liu, Toshimi Minoura: Reliable Storage Update (Extended Abstract). 75-79 BibTeX
G. Smith, W. Shojinaga: An Experimental Distributed Processing Facility - A Vehicle for Survivability. 80-84 BibTeX
J. Eliot B. Moss: Checkpoint and Restart in Distributed Transaction Systems. 85-89 BibTeX
Ilya Gertner, Robert Lindenberg: Initializing Replicated Name Servers in a Wide Area Network. 90-94 BibTeX
Jean-Pierre Banâtre, Michel Banâtre, Florimond Ployette: Construction of a Distributed System Supporting Atomic Transactions. 95-99 BibTeX

Design and Analysis of Distributed Operating Systems

Anand R. Tripathi, Pong-Sheng Wang: An Object-Oriented Design Model for Reliable Distributed Systems. 102-113 BibTeX
Krithi Ramamritham, David W. Stemple, Stephen Vinter: Primitives for Accessing Protected Objects. 114-122 BibTeX
Barbara Liskov, Maurice Herlihy: Issues Process and Communication Structure for Distributed Programs. 123-132 BibTeX

Invited Papers

Michael Stonebraker, John Woodfill, Jeff Ranstrom, Joseph Kalash, Kenneth Arnold, Erika Andersen: Performance Analysis of Distributed Data Base Systems. 135-138 BibTeX

Panel: Interdependence between Distributed Operating Systems and Database Systems.

Chair: Daniel R. Ries

Fault Tolerant Algorithms in Distributed Systems

Danny Dolev, Nancy A. Lynch, Shlomit S. Pinter, Eugene W. Stark, William E. Weihl: Reaching Approximate Agreement in the Presence of Faults. 145-154 BibTeX
Santosh K. Shrivastava: On the Treatment of Orphans in a Distributed System. 155-162 BibTeX
Richard C. Lian, Ming T. Liu: Cells: An Approach to Design of a Fault-Tolerant Network Operating System. 163-172 BibTeX

Implementation of Reliable Distributed Systems

Carla Schlatter Ellis, Richard A. Floyd: The Roe File System. 175-181 BibTeX
F. K. Ng: On Concurrency and Reliability of a Real-time DBMS for 5ESS Switching System. 182-188 BibTeX
J. C. West, M. A. Isman, S. G. Hannaford: PERPOS Fault-Tolerant Transaction Processing. 189-194 BibTeX