The weakest failure detector for solving k-set agreement
Eli M. Gafni, Petr Kuznetsov · 2009
A failure detector is a distributed oracle that provides processes in a distributed system with hints about failures. The notion of a weakest failure detector captures the exact amount of synchrony needed for solving a given distributed computing problem.