Exploitation of Ljapunov theory for verifying self-stabilizing algorithms

被引：0
|
作者：
Darmstadt University of Technology, Dept. of Computer Science, Alexanderstr. 10, Darmstadt [1 ]
D-64283, Germany
机构：
来源：
Lect. Notes Comput. Sci. | / 209-222期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Exploitation of Ljapunov theory for verifying self-stabilizing algorithms
    Theel, O
    DISTRIBUTED COMPUTING, PROCEEDINGS, 2000, 1914 : 209 - 222
  • [2] Verifying Self-stabilizing Population Protocols with Coq
    Deng, Yuxin
    Monin, Jean-Francois
    THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 201 - +
  • [3] Transformations of self-stabilizing algorithms
    Ioannidou, K
    JOURNAL OF HIGH SPEED NETWORKS, 2005, 14 (01) : 85 - 105
  • [4] Transformations of self-stabilizing algorithms
    Ioannidou, K
    DISTRIBUTED COMPUTING, PROCEEDINGS, 2002, 2508 : 103 - 117
  • [5] Simulation of self-stabilizing algorithms
    Datta, AK
    Flatebo, M
    Thiagarajan, V
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1997, 12 (05): : 295 - 306
  • [6] Self-stabilizing distributed algorithms for networks
    Srimani, Pradip K.
    Parallel and Distributed Processing and Applications, Proceedings, 2007, 4742 : 1 - 2
  • [7] SASA: A SimulAtor of Self-stabilizing Algorithms
    Altisen, Karine
    Devismes, Stephane
    Jahier, Erwan
    TESTS AND PROOFS (TAP 2020), 2020, 12165 : 143 - 154
  • [8] Self-stabilizing algorithms for sorting and heapification
    Bein, Doina
    Datta, Ajoy K.
    Larmore, Lawrence L.
    2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8, 2008, : 2035 - +
  • [9] Visualization of self-stabilizing distributed algorithms
    Hamid, B
    Mosbah, M
    NINTH INTERNATIONAL CONFERENCE ON INFORMATION VISUALISATION, PROCEEDINGS, 2005, : 550 - 555
  • [10] Self-stabilizing algorithms for tree metrics
    Datta, Ajoy K.
    Gonzalez, Teofilo F.
    Thiagarajan, Visalakshi
    Parallel Processing Letters, 1998, 8 (01): : 121 - 133
12345