“Active Quorum Systems: Specification and Correctness Proof”

From Navigators

Jump to: navigation, search

Alysson Bessani

Missing institution, Tech. Rep., Jul. 2010.

DI-FCUL-TR 2010-02.
Abstract: In this report we specify the Active Quorum System replication protocol for Byzantine fault tolerance, which uses a set of diverse algorithms for implementing different kinds of operations based on the semantics of the application, thus being efficient independently of the environmental conditions. The algorithms are specified and their correctness (linearizability and wait-freedom) are proved.

Download paper

Download Active Quorum Systems: Specification and Correctness Proof

Export citation


Project(s): Project:REGENESYS, Project:ReD

Research line(s): Fault And Intrusion Tolerance in Open Distributed Systems (FIT)

Personal tools
Navigators toolbox