| 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 |
|
