P流动C正确性D冰岛克朗P轴突

@文章{DiskPaxos-AFP，
 author={Mauro Jaskelioff and Stephan Merz}，
 title={Proving of Disk Paxos}，
 journal={Archive of Formal proof s}，
 month=jun，
 year=2005，
 note={url{https://isa AFP.org/entries/DiskPaxos.html}，
正式证明开发}，
 ISSN={2150-914x}，}