@techreport{howell2004correctness,
author = {Howell, Jon and Lorch, Jay and Douceur, John (JD)},
title = {Correctness of Paxos with Replica-Set-Specific Views},
year = {2004},
month = {June},
abstract = {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.},
url = {http://approjects.co.za/?big=en-us/research/publication/correctness-of-paxos-with-replica-set-specific-views/},
pages = {125},
number = {MSR-TR-2004-45},
}