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

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

We prove correctness of a Byzantine-fault-tolerant replication algorithm for a read/writeatomic memory that supports a dynamic replica set.

Bibliographic Details
Main Authors: Rodrigues, Rodrigo, Liskov, Barbara
Other Authors: Programming Methodology
Language:en_US
Published: 2005
Online Access:http://hdl.handle.net/1721.1/30425

Similar Items

Similar Items