Brief Announcement: What's Live? Understanding Distributed Consensus
Saksham Chand, Yanhong A. Liu · 2021
Distributed consensus algorithms such as Paxos have been studied extensively. Many different liveness properties and assumptions have been stated for them, but there are no systematic comparisons for better understanding of these properties.