Publicação

Active Quorum Systems: Specification and Correctness Proof

Ver documento

Detalhes bibliográficos
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.
Autores principais:Bessani, Alysson
Assunto:Byzantine Fault Tolerance Replication
Ano:2010
País:Portugal
Tipo de documento:relatório
Tipo de acesso:acesso aberto
Instituição associada:Universidade de Lisboa
Idioma:inglês
Origem:Repositório da Universidade de Lisboa

Registos relacionados

Registos relacionados