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
• Friedemann Schwenkreis: APRICOTS - A Prototype Implementation of a ConTract System: Management of the Control Flow and the Communication System. 12-21

Mathematical Techniques

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

Checkpointing

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

Agreement Protocols

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

Security

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