Quorum vs. All in `Accept`
hengxin opened this issue · 0 comments
hengxin commented
Using "All" vs. "Quorum" in Accept(p, b, v) in UniversalPaxosStore.
See the error-trace: RefineEV-3P3B3V-Quorum-vs-All-ErrorTrace
Check the theorem.
hengxin opened this issue · 0 comments
Using "All" vs. "Quorum" in Accept(p, b, v) in UniversalPaxosStore.
See the error-trace: RefineEV-3P3B3V-Quorum-vs-All-ErrorTrace
Check the theorem.