Lorenzo__Alvisi
Deriving optimal checkpointing protocols for distributed shared memory architectures
Fault detection for byzantine quorum systems
Message Logging: Pessimistic, Optimistic, and Causal
Minimal byzantine storage
Nonblocking and orphan-free message logging protocols
Small Byzantine Quorum Systems
Trade-offs in implementing optimal message logging protocols