Lélia Blin, Pierre Fraigniaud, Boaz Patt-Shamir. On Proof-Labeling Schemes versus Silent Self-stabilizing Algorithms. In Pascal Felber, Vijay K. Garg, editors, Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings. Volume 8756 of Lecture Notes in Computer Science, pages 18-32, Springer, 2014. [doi]
Abstract is missing.