A Correctness Proof for a Byzantine-Fault-Tolerant Read/Write Atomic Memory with Dynamic Replica Membership
dc.contributor.author | Rodrigues, Rodrigo | |
dc.contributor.author | Liskov, Barbara | |
dc.contributor.other | Programming Methodology | |
dc.date.accessioned | 2005-12-20T22:29:44Z | |
dc.date.available | 2005-12-20T22:29:44Z | |
dc.date.issued | 2003-09-25 | |
dc.identifier.other | MIT-CSAIL-TR-2003-020 | |
dc.identifier.other | MIT-LCS-TR-920 | |
dc.identifier.uri | http://hdl.handle.net/1721.1/30425 | |
dc.description.abstract | We prove correctness of a Byzantine-fault-tolerant replication algorithm for a read/writeatomic memory that supports a dynamic replica set. | |
dc.format.extent | 10 p. | |
dc.format.extent | 13866415 bytes | |
dc.format.extent | 493836 bytes | |
dc.format.mimetype | application/postscript | |
dc.format.mimetype | application/pdf | |
dc.language.iso | en_US | |
dc.relation.ispartofseries | Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory | |
dc.title | A Correctness Proof for a Byzantine-Fault-Tolerant Read/Write Atomic Memory with Dynamic Replica Membership |