DSpace www.di.fc.ul.pt  

Docs@DI-FCUL >
Department of Informatics >
Technical Reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10455/6673

Title: Active Quorum Systems: Specification and Correctness Proof
Authors: Bessani, Alysson
Keywords: Byzantine Fault Tolerance
Issue Date: 23-Jul-2010
Series/Report no.: 2010;2
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.
Description: Reviewed by Miguel Correia
Appears in Collections:Technical Reports

Files in This Item:

File Description SizeFormat
TR-2010-02.pdf258.38 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0! DSpace Software Copyright © 2002-2007 MIT and Hewlett-Packard - Feedback