Share this page
Share this page E-mail this page Print this page RSS feeds
Home > Publications > Correctness of Paxos with Replica-Set-Specific Views
Correctness of Paxos with Replica-Set-Specific Views

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.

tr-2004-45.ps
PostScript file
tr-2004-45.pdf
PDF file
tr-2004-45-big-map.pdf
PDF file

Details

Type: TechReport
Number: MSR-TR-2004-45
Pages: 125
Institution: Microsoft Research