|
193
|
Synchronizing clocks in the presence of faults
– L Lamport, P M Melliar-Smith
- 1985
|
|
31
|
Formally Verified On-Line Diagnosis
– Chris J. Walter, Patrick Lincoln, Neeraj Suri
- 1997
|
|
85
|
A new fault-tolerant algorithm for clock synchronization
– Jennifer Lundelius Welch, Nancy Lynch
- 1988
|
|
120
|
Dynamic Fault-Tolerant Clock Synchronization
– Danny Dolev, Joseph Y. Halpern, Barbara Simons, Ray Strong
- 1996
|
|
65
|
Faulttolerant clock synchronization in distributed systems
– Parameswaran Ramanathan, Kang G Shin, Ricky W Butler
- 1990
|
|
25
|
Evaluation of Deterministic Fault Injection for Fault-tolerant Protocol Testing," FTCS-21
– K Echtle, Y Chen
- 1991
|
|
48
|
Experimental Analysis of Computer System Dependability
– R K Iyer, D Tang
- 1993
|
|
18
|
Evaluation and Design of an Ultra-Reliable Distributed Architecture for Fault Tolerance
– C J Walter
- 1990
|
|
4
|
Logics and Models of Real Time: A Survey." Real Time: Theory in Practice
– R Alur, T A Henzinger
- 1992
|
|
33
|
Fault Injection for Formal Testing of Fault Tolerance
– D Avresky, J Arlat, J C Laprie, Y Crouzet
- 1996
|
|
67
|
Formal Methods and the Certification of Critical Systems
– John Rushby
- 1993
|
|
116
|
Dependable computing and fault tolerance: Concepts and terminology
– Jean-Claude Laprie
- 1985
|
|
210
|
Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement
– Flaviu Cristian, Houtan Aghili, Ray Strong, Danny Dolev
- 1985
|
|
139
|
Fault Tolerance in Distributed Systems
– P Jalote
- 1994
|
|
450
|
Reaching Agreement in the Presence of Faults
– M. Pease, R. Shostak, L. Lamport
- 1980
|
|
68
|
On the possibility and impossibility of achieving clock synchronization
– Danny Dolev, Joseph Y Halpern, H Raymond Strong
- 1986
|
|
180
|
Clock Synchronization
– F Cristian, H Aghili, R Strong
- 1986
|
|
1069
|
The Byzantine Generals Problem
– Leslie Lamport, Robert Shostak, Marshall Pease
- 1982
|
|
67
|
Understanding Protocols for Byzantine Clock Synchronization
– Fred B. Schneider
- 1987
|
