Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference7 articles.
1. Coupling and self-stabilization;Fribourg;Distrib. Comput.,2005
2. Probabilistic self-stabilization;Herman;Inform. Process. Lett.,1990
3. Three tokens in Hermanʼs algorithm;Kiefer;Form. Asp. Comput.,2012
4. On stabilization in Hermanʼs algorithm;Kiefer,2011
5. Probabilistic verification of Hermanʼs self-stabilisation algorithm;Kwiatkowska;Form. Asp. Comput.,2012
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献