Active Quorum Systems: Specification and Correctness Proof

Detalhes bibliográficos
Autor(a) principal: Bessani, Alysson
Data de Publicação: 2010
Tipo de documento: Relatório
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10451/14146
Resumo: Reviewed by Miguel Correia
id RCAP_e57a7611d17f3c62eeca2207e037d070
oai_identifier_str oai:repositorio.ul.pt:10455/6673
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 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ório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-11-20T17:18:39Zoai:repositorio.ul.pt:10455/6673Portal AgregadorONGhttps://www.rcaap.pt/oai/openairemluisa.alvim@gmail.comopendoar:71602024-11-20T17:18:39Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
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ório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv mluisa.alvim@gmail.com
_version_ 1817548828989980672

Registros relacionados