共 50 条
- [1] On Proof-Labeling Schemes versus Silent Self-stabilizing Algorithms STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, SSS 2014, 2014, 8756 : 18 - 32
- [2] Brief Announcement: Space-Optimal Silent Self-stabilizing Spanning Tree Constructions Inspired by Proof-Labeling Schemes DISTRIBUTED COMPUTING (DISC 2014), 2014, 8784 : 565 - 566
- [4] Randomized Proof-Labeling Schemes PODC'15: PROCEEDINGS OF THE 2015 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2015, : 315 - 324
- [7] Proof-Labeling Schemes: Broadcast, Unicast and in Between STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, SSS 2017, 2018, 10616 : 1 - 17