Conditions on input vectors for consensus solvability in asynchronous distributed systems

This paper introduces and explores a new condition based approach to solve the consensus problem in asynchronous systems. The approach consists of identifying sets of input vectors, called conditions , for which it is possible to design a protocol solving consensus despite the occurrence of up to f process crashes.

Authors

• Achour Mostéfaoui
• Sergio Rajsbaum
• Michel Raynal

Keywords

• asynchronous systems
• consensus
• fault-tolerance