| Publication Title: |
A Correctness Proof for a Byzantine-Fault-Tolerant Read/Write Atomic Memory with Dynamic Replica Membership |
| Publication Author: |
Rodrigues, Rodrigo |
| Additional Authors: |
Barbara Liskov |
| LCS Document Number: |
MIT-LCS-TR-920 |
| Publication Date: |
9-25-2003 |
| LCS Group: |
Programming Methodology |
| Additional URL: |
|
| Abstract: |
| We prove correctness of a Byzantine-fault-tolerant replication algorithm for a read/write
atomic memory that supports a dynamic replica set. |
| To obtain this publication: |
|
|
|
To purchase a printed copy of this publication please contact
MIT
Document Services.
|