Igor Walukiewicz

Title: Characterizing consensus in the Heard-Of model

Abstract:

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.

https://algodist.labri.fr/index.php/Main/GT