On proof-labeling schemes versus silent self-stabilizing algorithms

被引:21
|
作者
机构
[1] Blin, Lélia
[2] Fraigniaud, Pierre
[3] Patt-Shamir, Boaz
来源
| 1600年 / Springer Verlag卷 / 8756期
关键词
Stabilization;
D O I
10.1007/978-3-319-11764-5_2
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条
  • [1] On Proof-Labeling Schemes versus Silent Self-stabilizing Algorithms
    Blin, Lelia
    Fraigniaud, Pierre
    Patt-Shamir, Boaz
    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
    Blin, Lelia
    Fraigniaud, Pierre
    DISTRIBUTED COMPUTING (DISC 2014), 2014, 8784 : 565 - 566
  • [3] Randomized proof-labeling schemes
    Fraigniaud, Pierre
    Patt-Shamir, Boaz
    Perry, Mor
    DISTRIBUTED COMPUTING, 2019, 32 (03) : 217 - 234
  • [4] Randomized Proof-Labeling Schemes
    Baruch, Mor
    Fraigniaud, Pierre
    Patt-Shamir, Boaz
    PODC'15: PROCEEDINGS OF THE 2015 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2015, : 315 - 324
  • [5] Randomized proof-labeling schemes
    Pierre Fraigniaud
    Boaz Patt-Shamir
    Mor Perry
    Distributed Computing, 2019, 32 : 217 - 234
  • [6] Approximate proof-labeling schemes
    Censor-Hillel, Keren
    Paz, Ami
    Perry, Mor
    THEORETICAL COMPUTER SCIENCE, 2020, 811 (811) : 112 - 124
  • [7] Proof-Labeling Schemes: Broadcast, Unicast and in Between
    Patt-Shamir, Boaz
    Perry, Mor
    STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, SSS 2017, 2018, 10616 : 1 - 17
  • [8] Proof-labeling schemes: Broadcast, unicast and in between
    Patt-Shamir, Boaz
    Perry, Mor
    THEORETICAL COMPUTER SCIENCE, 2022, 923 : 179 - 195
  • [9] Error-sensitive proof-labeling schemes
    Feuilloley, Laurent
    Fraigniaud, Pierre
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2022, 166 : 149 - 165
  • [10] Silent self-stabilizing BFS tree algorithms revisited
    Devismes, Stephane
    Johnen, Colette
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2016, 97 : 11 - 23