Time-dependent distributed systems: proving safety, liveness and real-time properties A. Udaya ShankarSimon S. Lam OriginalPaper Pages: 61 - 79
Simulating authenticated broadcasts to derive simple fault-tolerant algorithms T. K. SrikanthSam Toueg OriginalPaper Pages: 80 - 94
Connectivity requirements for Byzantine agreement under restricted types of failures Vassos Hadzilacos OriginalPaper Pages: 95 - 103
The construction of self-synchronizing finite state protocols Raymond E. Miller OriginalPaper Pages: 104 - 112
Fair mutual exclusion on a graph of processes Jan L. A. van de Snepscheut OriginalPaper Pages: 113 - 115