Performing tasks and reaching agreement in distributed systems prone to adversarial crash-failures. - Jaroslaw D. Mirek (2019)