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 条
12345