2026-07-21T14:16:31Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:12821 2024-03-06T10:50:46Z ddc:004 open_access

Characterizing Consensus in the Heard-Of Model Balasubramanian, A. R. Walukiewicz, Igor consensus problem Heard-Of model verification The Heard-Of model is a simple and relatively expressive model of distributed computation. Because of this, it has gained a considerable attention of the verification community. We give a characterization of all algorithms solving consensus in a fragment of this model. The fragment is big enough to cover many prominent consensus algorithms. The characterization is purely syntactic: it is expressed in terms of some conditions on the text of the algorithm. Schloss Dagstuhl – Leibniz-Zentrum für Informatik A. R. Balasubramanian and Igor Walukiewicz 2020 Is Part Of LIPIcs, Volume 171, 31st International Conference on Concurrency Theory (CONCUR 2020) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CONCUR.2020.9 urn:nbn:de:0030-drops-128217 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2020.9 eng https://creativecommons.org/licenses/by/3.0/legalcode