Author of the publication

Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour.

, , , and . NETYS, volume 10299 of Lecture Notes in Computer Science, page 206-221. (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Predicate Detection in Asynchronous Distributed Systems: A Probabilistic Approach., , and . IEEE Trans. Computers, 65 (1): 173-186 (2016)Distributed Database Checkpointing., , and . Euro-Par, volume 1685 of Lecture Notes in Computer Science, page 450-458. Springer, (1999)Participant-Restricted Consensus in Asynchronous Crash-Prone Read/Write Systems and Its Weakest Failure Detector., , and . PaCT, volume 11657 of Lecture Notes in Computer Science, page 419-430. Springer, (2019)Set Agreement.. Encyclopedia of Algorithms, Springer, (2008)Anonymous Read/Write Memory: Leader Election and De-anonymization., , , and . SIROCCO, volume 11639 of Lecture Notes in Computer Science, page 246-261. Springer, (2019)Recognition of Patterns on Control Flows for Debugging Distributed Executions., , , and . AADEBUG, page 221-232. IRISA-CNRS, (1995)Building and Using Quorums Despite any Number of Process of Crashes., , and . EDCC, volume 3463 of Lecture Notes in Computer Science, page 2-19. Springer, (2005)Consensus in One Communication Step., , , and . PaCT, volume 2127 of Lecture Notes in Computer Science, page 42-50. Springer, (2001)Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles.. PaCT, volume 2127 of Lecture Notes in Computer Science, page 98-111. Springer, (2001)Looking for Efficient Implementations of Concurrent Objects., and . PaCT, volume 6873 of Lecture Notes in Computer Science, page 74-87. Springer, (2011)