Active Quorum Systems: Specification and Correctness Proof

Bibliographic Details
Main Author: Bessani, Alysson
Publication Date: 2010
Format: Report
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/10451/14146
Summary: Reviewed by Miguel Correia
id RCAP_26d06422270648b53fcca7079c978079
oai_identifier_str oai:repositorio.ulisboa.pt:10455/6673
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Active Quorum Systems: Specification and Correctness ProofByzantine Fault ToleranceReplicationReviewed by Miguel CorreiaIn 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.Repositório da Universidade de LisboaBessani, Alysson2010-07-23T12:47:38Z2010-07-23T12:47:38Z2010-07-23info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/reportapplication/pdfhttp://hdl.handle.net/10451/14146enginfo:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2025-03-17T13:12:39Zoai:repositorio.ulisboa.pt:10455/6673Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-29T02:37:33.460137Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Active Quorum Systems: Specification and Correctness Proof
title Active Quorum Systems: Specification and Correctness Proof
spellingShingle Active Quorum Systems: Specification and Correctness Proof
Bessani, Alysson
Byzantine Fault Tolerance
Replication
title_short Active Quorum Systems: Specification and Correctness Proof
title_full Active Quorum Systems: Specification and Correctness Proof
title_fullStr Active Quorum Systems: Specification and Correctness Proof
title_full_unstemmed Active Quorum Systems: Specification and Correctness Proof
title_sort Active Quorum Systems: Specification and Correctness Proof
author Bessani, Alysson
author_facet Bessani, Alysson
author_role author
dc.contributor.none.fl_str_mv Repositório da Universidade de Lisboa
dc.contributor.author.fl_str_mv Bessani, Alysson
dc.subject.por.fl_str_mv Byzantine Fault Tolerance
Replication
topic Byzantine Fault Tolerance
Replication
description Reviewed by Miguel Correia
publishDate 2010
dc.date.none.fl_str_mv 2010-07-23T12:47:38Z
2010-07-23T12:47:38Z
2010-07-23
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/report
format report
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10451/14146
url http://hdl.handle.net/10451/14146
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833601431500750848

Similar Items