Consensus in the Presence of Partial Synchrony
Dwork, Lynch, and Stockmeyer formalize the middle ground between synchronous and asynchronous systems and derive consensus bounds for crash, omission, and Byzantine faults.
The paper gives precise models for partial synchrony: either bounds exist but are initially unknown, or known bounds hold only after an unknown stabilization time. This is the timing assumption behind practical timeout-driven consensus: safety is unconditional, while termination follows after the network behaves within the eventual bounds.
Its durable value is the model and the resilience bounds, not an implementation recipe. Modern protocols use different message structures, cryptography, and leader mechanics but still state liveness against this boundary.
Visual audit #
All 36 physical pages were rendered and inspected. The information-bearing tables summarize resilience across timing and authentication models; the proof structure is carried primarily by formal text. No source visual is retained because the GTK BFT entry teaches the applicable quorum and timing model directly.