Advanced Search
DSpace@MIT

A Correctness Proof for a Byzantine-Fault-Tolerant Read/Write Atomic Memory with Dynamic Replica Membership

Research and Teaching Output of the MIT Community

Show simple item record

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


Files in this item

Name Size Format Description
MIT-CSAIL-TR-2003 ... 13.22Mb Postscript

Files in this item

Name Size Format Description
MIT-CSAIL-TR-2003 ... 482.2Kb PDF

This item appears in the following Collection(s)

Show simple item record

MIT-Mirage