The unified structure of consensus: a layered analysis approach
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Tolerating corrupted communication
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing
Using Bounded Model Checking to Verify Consensus Algorithms
DISC '08 Proceedings of the 22nd international symposium on Distributed Computing
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Synchronous consensus under hybrid process and link failures
Theoretical Computer Science
Consensus vs. broadcast in communication networks with arbitrary mobile omission faults
SIROCCO'11 Proceedings of the 18th international conference on Structural information and communication complexity
Agreement in directed dynamic networks
SIROCCO'12 Proceedings of the 19th international conference on Structural Information and Communication Complexity
On the power of impersonation attacks
DISC'07 Proceedings of the 21st international conference on Distributed Computing
Hi-index | 0.00 |