Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study

Authors:
Anna Pogosyants;Roberto Segala;Nancy A. Lynch
Affiliations:
-;-;-
Venue:
WDAG '97 Proceedings of the 11th International Workshop on Distributed Algorithms
Year:
1997

Memory space requirements for self-stabilizing leader election protocols

Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Root Contention in IEEE 1394

ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
All k-bounded policies are equivalent for self-stabilization

SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems

Hi-index	0.00