Author:
Bakhshi Rena,Fokkink Wan,Pang Jun,van de Pol Jaco
Reference46 articles.
1. D. Angluin. Local and global properties in networks of processors. In Proc. 12th ACM Symp. on Theory of Computing, pages 82–93. ACM, 1980.
2. D. Angluin, J. Aspnes, M. J. Fischer, and H. Jiang. Self-stabilizing population protocols. In Proc. 9th Conf. on Principles of Distributed Systems, volume 3974 of LNCS, pages 103–117. Springer, 2005.
3. R. Bakhshi, W. Fokkink, J. Pang, and J. van de Pol. μCRL specification of probabilistic Franklin leader election algorithm. http://www.few.vu.nl/ rbakhshi/alg/franklin. mcrl.
4. J. Beauquier, M. Gradinariu, and C. Johnen. Memory space requirements for self-stabilizing leader election protocols. In Proc. 18th Symp. on Principles of Distributed Computing, pages 199–207. ACM, 1999.
5. J. Beauquier, M. Gradinariu, and C. Johnen. Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings. Distributed Computing, 20(1): 75–93, 2007.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献