2 papers
cs.LO2020
Characterizing consensus in the Heard-Of model
A. R. Balasubramanian, Igor Walukiewicz
The Heard-Of model is a simple and relatively expressive model of distributed computation. Because of this, it has gained a considerable attention of the verification community. We…
cs.DC2018
A Graphical Interactive Debugger for Distributed Systems
Doug Woos, Zachary Tatlock, Michael D. Ernst +1
Designing and debugging distributed systems is notoriously difficult. The correctness of a distributed system is largely determined by its handling of failure scenarios. The sequen…