Universidade de Lisboa Repositório da Universidade de Lisboa

Repositório da Universidade de Lisboa >
Faculdade de Ciências (FC) >
Departamento de Informática / Department of Informatics (FC-DI) >
FC-DI - Technical Reports >

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

Título: Active Quorum Systems: Specification and Correctness Proof
Autor: Bessani, Alysson
Palavras-chave: Byzantine Fault Tolerance
Replication
Issue Date: 23-Jul-2010
Relatório da Série N.º: 2010;2
Resumo: 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.
Descrição: Reviewed by Miguel Correia
URI: http://hdl.handle.net/10455/6673
Appears in Collections:FC-DI - Technical Reports

Files in This Item:

File Description SizeFormat
TR-2010-02.pdf258,38 kBAdobe PDFView/Open
Statistics
FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpaceOrkut
Formato BibTex mendeley Endnote Logotipo do DeGóis 

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

 

  © Universidade de Lisboa / SIBUL
Alameda da Universidade | Cidade Universitária | 1649-004 Lisboa | Portugal
Tel. +351 217967624 | Fax +351 217933624 | repositorio@reitoria.ul.pt - Feedback - Statistics
DeGóis
Promotores do RCAAP   Financiadores do RCAAP

Fundação para a Ciência e a Tecnologia Universidade do Minho   Governo Português Ministério da Educação e Ciência PO Sociedade do Conhecimento (POSC) Portal oficial da União Europeia