LCS Publication Details
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:
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.