ON THE PROOF OF A DISTRIBUTED ALGORITHM

被引：5
|
作者：
VERJUS, JP
机构：
[1] Inst de Recherche en Informatique et, Systemes Aleatoires, Rennes, Fr, Inst de Recherche en Informatique et Systemes Aleatoires, Rennes, Fr
来源：
INFORMATION PROCESSING LETTERS | 1987年 / 25卷 / 03期
关键词：
CORRECTNESS PROOF - DISTRIBUTED ALGORITHM - TERMINATION DETECTION;
D O I：
10.1016/0020-0190(87)90123-2
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：145 / 147
页数：3
相关论文
共 50 条
  • [31] A DISTRIBUTED ALGORITHM FOR DISTRIBUTED TERMINATION - COMMENT
    TEL, G
    VANLEEUWEN, J
    INFORMATION PROCESSING LETTERS, 1987, 25 (05) : 349 - 349
  • [32] Distributed Signcryption Schemes with Formal Proof of Security
    Gupta, Indivar
    Saxena, P. K.
    SECURITY ASPECTS IN INFORMATION TECHNOLOGY, 2011, 7011 : 93 - 110
  • [33] PROOF RULES FOR FAULT TOLERANT DISTRIBUTED PROGRAMS
    JOSEPH, M
    MOITRA, A
    SOUNDARARAJAN, N
    SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (01) : 43 - 67
  • [34] DIZK: A Distributed Zero Knowledge Proof System
    Wu, Howard
    Zheng, Wenting
    Chiesa, Alessandro
    Popa, Raluca Ada
    Stoica, Ion
    PROCEEDINGS OF THE 27TH USENIX SECURITY SYMPOSIUM, 2018, : 675 - 692
  • [35] Cohomology of line bundles: Proof of the algorithm
    Roschy, Helmut
    Rahn, Thorsten
    JOURNAL OF MATHEMATICAL PHYSICS, 2010, 51 (10)
  • [36] Algorithm Analysis Through Proof Complexity
    Lauria, Massimo
    SAILING ROUTES IN THE WORLD OF COMPUTATION, 2018, 10936 : 254 - 263
  • [37] A SHORT PROOF OF THE LEXICAL ADDRESSING ALGORITHM
    WAND, M
    INFORMATION PROCESSING LETTERS, 1990, 35 (01) : 1 - 5
  • [38] Convergence proof for the algorithm by Papoulis and Gerchberg
    Protzmann, M
    Boche, H
    FREQUENZ, 1998, 52 (9-10) : 175 - 182
  • [39] A SIMPLE PROOF OF A SIMPLE CONSENSUS ALGORITHM
    MISRA, J
    INFORMATION PROCESSING LETTERS, 1989, 33 (01) : 21 - 24
  • [40] PROOF OF CONVERGENCE FOR A MODIFICATION OF GOLDFARB ALGORITHM
    FISCHER, J
    MATHEMATICS OF OPERATIONS RESEARCH, 1981, 6 (02) : 233 - 245
12345