| Publication | Date of Publication | Type |
|---|
``\(\varGamma\)-accurate failure detectors
| 2024-07-11 | Paper |
Handling message semantics with Generic Broadcast protocols
Distributed Computing | 2020-12-03 | Paper |
Early consensus in an asynchronous system with a weak failure detector
Distributed Computing | 2020-12-02 | Paper |
Early consensus in an asynchronous system with a weak failure detector
Distributed Computing | 2020-12-02 | Paper |
Strong stable properties in distributed systems
Distributed Computing | 2020-11-30 | Paper |
Uniform actions in asynchronous distributed systems
Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 | 2017-09-29 | Paper |
From causal consistency to sequential consistency in shared memory systems
Lecture Notes in Computer Science | 2017-01-19 | Paper |
Brief announcement
Proceedings of the 2012 ACM symposium on Principles of distributed computing | 2014-12-05 | Paper |
Tolerating permanent and transient value faults
Distributed Computing | 2014-07-11 | Paper |
Tolerating corrupted communication
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing | 2014-03-13 | Paper |
The Heard-Of model: computing in distributed systems with benign faults
Distributed Computing | 2013-06-28 | Paper |
Dynamic group communication
Distributed Computing | 2013-06-13 | Paper |
Verification of consensus algorithms using satisfiability solving
Distributed Computing | 2012-02-06 | Paper |
Structured Derivation of Semi-Synchronous Algorithms
Lecture Notes in Computer Science | 2011-10-28 | Paper |
Using Bounded Model Checking to Verify Consensus Algorithms
Lecture Notes in Computer Science | 2008-11-20 | Paper |
SOFSEM 2006: Theory and Practice of Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Semi-passive replication and lazy consensus
Journal of Parallel and Distributed Computing | 2005-01-31 | Paper |
Uniform consensus is harder than consensus
Journal of Algorithms | 2004-10-01 | Paper |
scientific article; zbMATH DE number 2090699 (Why is no real title available?)
| 2004-08-13 | Paper |
scientific article; zbMATH DE number 2090633 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2087417 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 1950664 (Why is no real title available?)
| 2003-07-17 | Paper |
Optimistic atomic broadcast: A pragmatic viewpoint
Theoretical Computer Science | 2003-05-14 | Paper |
Genuine atomic multicast in asynchronous distributed systems
Theoretical Computer Science | 2001-08-20 | Paper |
The causal ordering abstraction and a simple way to implement it
Information Processing Letters | 1992-06-28 | Paper |
scientific article; zbMATH DE number 4078775 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3829237 (Why is no real title available?)
| 1984-01-01 | Paper |
