Jon Howell, Jacob Lorch, and John Douceur
June 2004
We present a specification and proof of correctness for the Paxos replicated state machine consensus protocol in which replica-set-change is implemented with replica-set-specific views.
![]() PostScript file | ![]() PDF file | ![]() PDF file |
| Type: | TechReport |
| Number: | MSR-TR-2004-45 |
| Pages: | 125 |
| Institution: | Microsoft Research |