4 papers · 1 filter
Consensus In Asynchrony: Strictly Formal
Ivan Klianev
In this paper, we resolve the apparent contradiction between the proven possibility of deterministic crash-tolerant consensus in a fully asynchronous environment and the reconfirma…
Consensus In Asynchrony
Ivan Klianev
We demonstrate sufficiency of events-based synchronisation for solving deterministic fault-tolerant consensus in asynchrony. Main result is an algorithm that terminates with valid…
Different Perspectives on FLP Impossibility
Ivan Klianev
We demonstrate termination of binary consensus under the model and conditions used by Fischer, Lynch, and Patterson (FLP) to prove impossibility of binary agreement - in complete a…
Synchronous Consensus in Partial Synchrony
Ivan Klianev
We demonstrate a deterministic Byzantine consensus algorithm with synchronous operation in partial synchrony. It is naturally leaderless, tolerates any number of Byzantin…