Shachar Don-Yehiya, Leshem Choshen, et al.
ACL 2025
We determine what information about failures is necessary and sufficient to solve Consensus in asynchronous distributed systems subject to crash failures. In Chandra and Toueg [1996] it is shown that ◇script W sign, a failure detector that provides surprisingly little information about which processes have crashed, is sufficient to solve Consensus in asynchronous systems with a majority of correct processes. In this paper, we prove that to solve Consensus, any failure detector has to provide at least as much information as ◇script W sign. Thus, ◇script W sign is indeed the weakest failure detector for solving Consensus in asynchronous systems with a majority of correct processes.
Shachar Don-Yehiya, Leshem Choshen, et al.
ACL 2025
Kellen Cheng, Anna Lisa Gentile, et al.
EMNLP 2024
Shashank Ahire, Melissa Guyre, et al.
CUI 2025
Fearghal O'Donncha, Albert Akhriev, et al.
Big Data 2021