12. SRDS 1993: Princeton, New Jersey, USA

Prototype Systems

• Farnam Jahanian, Sameh A. Fakhouri, Ragunathan Rajkumar: Processor Group Membership Protocols: Specification, Design, and Implementation. 2-11 BibTeX
• Friedemann Schwenkreis: APRICOTS - A Prototype Implementation of a ConTract System: Management of the Control Flow and the Communication System. 12-21 BibTeX

Mathematical Techniques

• Malathi Veeraraghavan, Kishor S. Trivedi: An Approach for Combinatorial Performance and Availability Analysis. 24-33 BibTeX
• Henk Schepers, Rob Gerth: A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems. 34-43 BibTeX
• Yu Lo Cyrus Chang, Leslie C. Lander, Horng-Shing Lu, Martin T. Wells: Bayesian Analysis for Fault Location in Homogeneous Distributed Systems. 44-53 BibTeX

Checkpointing

• Golden G. Richard III, Mukesh Singhal: Using Logging and Asynchronous Checkpointing to Implement Recoverable Distributed Shared Memory. 58-67 BibTeX
• S. L. Peterson, Phil Kearns: Rollback Based on Vector Time. 68-77 BibTeX
• Yi-Min Wang, W. Kent Fuchs: Lazy Checkpointing Coordination for Bounding Rollback Propagation. 78-85 BibTeX
• David B. Johnson: Efficient Transparent Optimistic Rollback Recovery for Distributed Application Programs. 86-95 BibTeX

Agreement Protocols

• Khaled S. Soufi, Geneva G. Belford: An O(1) Quorum Consensus Protocol Tailored for the Client/Server Architecture. 98-104 BibTeX
• Matti A. Hiltunen, Richard D. Schlichting: An Approach to Constructing Modular Fault-Tolerant Protocols. 105-114 BibTeX
• Paulo Veríssimo, Antonio Casimiro, Luís Rodrigues: Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization. 115-124 BibTeX

Security

• Rasikan David, Sang Hyuk Son: A Secure Two Phase Locking Protocol. 126-135 BibTeX
• Gene Tsudik, Els Van Herreweghen: Some Remarks on Protecting Weak Keys and Poorly-Chosen Secrets from Guessing Attacks. 136-142 BibTeX
• Qi Shi, John A. McDermid: Constructing Secure Distributed Systems Using Components. 143-152 BibTeX