| 1993 | 12th Symposium on Reliable Distributed Systems, SRDS 1993, Princeton, New Jersey, USA, October 6-8, 1993, Proceedings |
| 1993 | A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems. Henk Schepers, Rob Gerth |
| 1993 | A Secure Two Phase Locking Protocol. Rasikan David, Sang Hyuk Son |
| 1993 | APRICOTS - A Prototype Implementation of a ConTract System: Management of the Control Flow and the Communication System. Friedemann Schwenkreis |
| 1993 | An Approach for Combinatorial Performance and Availability Analysis. Malathi Veeraraghavan, Kishor S. Trivedi |
| 1993 | An Approach to Constructing Modular Fault-Tolerant Protocols. Matti A. Hiltunen, Richard D. Schlichting |
| 1993 | An O(1) Quorum Consensus Protocol Tailored for the Client/Server Architecture. Khaled S. Soufi, Geneva G. Belford |
| 1993 | Bayesian Analysis for Fault Location in Homogeneous Distributed Systems. Yu Lo Cyrus Chang, Leslie C. Lander, Horng-Shing Lu, Martin T. Wells |
| 1993 | Constructing Secure Distributed Systems Using Components. Qi Shi, John A. McDermid |
| 1993 | Efficient Transparent Optimistic Rollback Recovery for Distributed Application Programs. David B. Johnson |
| 1993 | Lazy Checkpointing Coordination for Bounding Rollback Propagation. Yi-Min Wang, W. Kent Fuchs |
| 1993 | Processor Group Membership Protocols: Specification, Design, and Implementation. Farnam Jahanian, Sameh A. Fakhouri, Ragunathan Rajkumar |
| 1993 | Rollback Based on Vector Time. S. L. Peterson, Phil Kearns |
| 1993 | Some Remarks on Protecting Weak Keys and Poorly-Chosen Secrets from Guessing Attacks. Gene Tsudik, Els Van Herreweghen |
| 1993 | Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization. Paulo Veríssimo, António Casimiro, Luís E. T. Rodrigues |
| 1993 | Using Logging and Asynchronous Checkpointing to Implement Recoverable Distributed Shared Memory. Golden G. Richard III, Mukesh Singhal |