A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm

Download: ps, pdf .

“A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm” by Miguel Castro and Barbara Liskov. MIT Technical Memo MIT-LCS-TM-590, June 1999.

Download: ps, pdf .

BibTeX entry:

@techreport{castro99correctness,
   author = {Miguel Castro and Barbara Liskov},
   title = {A Correctness Proof for a Practical Byzantine-Fault-Tolerant
	Replication Algorithm},
   institution = {MIT},
   type = {Technical Memo},
   number = {MIT-LCS-TM-590},
   month = jun,
   year = {1999}
}