Browse wiki

From Navigators

Jump to: navigation, search
Publication:Bessani10aqs-tr
Abstract In this report we specify the Active Quoru … 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. earizability and wait-freedom) are proved.
Author Alysson Bessani +
Key Bessani10aqs-tr  +
Missing institution  +
Month jul  +
Note DI-FCUL-TR 2010-02  +
NumPubDate 2,010.07  +
Project Project:REGENESYS + , Project:ReD +
ResearchLine Fault And Intrusion Tolerance in Open Distributed Systems (FIT) +
Title Active Quorum Systems: Specification and Correctness Proof  +
Type techreport  +
Url http://www.navigators.di.fc.ul.pt/archive/papers/TR-2010-02.pdf  +
Year 2010  +
Categories Publication  +
Modification¬†dateThis property is a special property in this wiki. 14 January 2013 14:40:57  +
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.
Views
Personal tools
Toolbox
Navigators toolbox