GT AlgoDist, «Characterizing consensus in the Heard-Of model», Igor Walukiewicz

Igor Walukiewicz

Title: Characterizing consensus in the Heard-Of model


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.


LaBRI salle 178 - lien visio https://webconf.u-bordeaux.fr/b/arn-4tr-7gp