A Correctness Proof for a Byzantine-Fault-Tolerant Read/Write Atomic Memory with Dynamic Replica Membership
Citable URI:
http://hdl.handle.net/1721.1/30425
| Title: | A Correctness Proof for a Byzantine-Fault-Tolerant Read/Write Atomic Memory with Dynamic Replica Membership |
| Author: | Rodrigues, Rodrigo; Liskov, Barbara |
| Other Contributors: | Programming Methodology |
| Issue Date: | 2003-09-25 |
| Abstract: | We prove correctness of a Byzantine-fault-tolerant replication algorithm for a read/writeatomic memory that supports a dynamic replica set. |
| URI: | http://hdl.handle.net/1721.1/30425 |
| Other Identifiers: | MIT-CSAIL-TR-2003-020 MIT-LCS-TR-920 |
| Series/Report no.: | Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory |
Files in this item
| Files | Size | Format | View | |
|---|---|---|---|---|
| MIT-CSAIL-TR-2003-020.ps | 13.86Mb | Postscript |
View/ |
Files in this item
| Files | Size | Format | View | |
|---|---|---|---|---|
| MIT-CSAIL-TR-2003-020.pdf | 493.8Kb |
View/ |
This item appears in the following Collection(s)
All Items in DSpace@MIT are protected by original copyright, with all rights reserved, unless otherwise indicated.
|
|
Contact
MIT Libraries
|