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 条
  • [41] Studies on algorithms for self-stabilizing communication protocols
    Li L.
    Li C.
    Journal of Computer Science and Technology, 1999, 14 (6) : 606 - 613
  • [42] Squeezing Streams and Composition of Self-stabilizing Algorithms
    Altisen, Karine
    Corbineau, Pierre
    Devismes, Stephane
    FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2019), 2019, 11535 : 21 - 38
  • [43] Mechanically verified self-stabilizing hierarchical algorithms
    Prasetya, ISWB
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1997, 1217 : 399 - 415
  • [44] Self-stabilizing Synchronization Algorithms on Oriented Chains
    Bein, Doina
    Datta, Ajoy K.
    Larmore, Lawrence L.
    2008 IEEE 4TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTER COMMUNICATION AND PROCESSING, PROCEEDINGS, 2008, : 303 - +
  • [45] Efficient Self-stabilizing Grundy Coloring Algorithms
    Mansouri, Ali
    Bouhlel, Mohamed Salim
    PROCEEDINGS OF 2016 FUTURE TECHNOLOGIES CONFERENCE (FTC), 2016, : 199 - 205
  • [46] Self-Stabilizing Distributed Algorithms by Gellular Automata
    Hongu, Taiga
    Hagiya, Masami
    COMPLEX SYSTEMS, 2021, 30 (02): : 159 - 185
  • [47] A SIMPLIFIED PROOF FOR A SELF-STABILIZING PROTOCOL - A GAME OF CARDS
    DESEL, J
    KINDLER, E
    VESPER, T
    WALTER, R
    INFORMATION PROCESSING LETTERS, 1995, 54 (06) : 327 - 328
  • [48] Polynomial Silent Self-Stabilizing p-Star Decomposition
    Haddad, Mohammed
    Johnen, Colette
    Koehler, Sven
    COMPUTER JOURNAL, 2020, 63 (02): : 254 - 266
  • [49] Observations on non-silent self-stabilizing algorithms in sensor networks with probabilistically intermittent link failures
    Kakugawa, Hirotsugu
    Yamauchi, Yukiko
    Kamei, Sayaka
    Masuzawa, Toshimitsu
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (33) : 4336 - 4349
  • [50] Exploitation of Ljapunov theory for verifying self-stabilizing algorithms
    Darmstadt University of Technology, Dept. of Computer Science, Alexanderstr. 10, Darmstadt
    D-64283, Germany
    Lect. Notes Comput. Sci., (209-222):
12345