Xiaozhou Li;Jayadev Misra;C. Greg Plaxton
University of Texas at Austin, Austin, Texas;University of Texas at Austin, Austin, Texas;University of Texas at Austin, Austin, Texas
Verification of Peer-to-peer Algorithms: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Self-stabilization in spite of frequent changes of networks: case study of mutual exclusion on dynamic rings
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems