CORRECTNESS PROOFS OF DISTRIBUTED TERMINATION ALGORITHMS

被引：23

作者：

APT, KR

机构：

[1] Univ of Paris 7, Paris, Fr, Univ of Paris 7, Paris, Fr

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1986年 / 8卷 / 03期

关键词：

D O I：

10.1145/5956.6000

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：388 / 405

页数：18

相关论文

共 14 条

[11] TIME, CLOCKS, AND ORDERING OF EVENTS IN A DISTRIBUTED SYSTEM [J].

LAMPORT, L .

[12]

MANNA Z, 1983, P S PRINCIPLES PROGR

[13] AXIOMATIC PROOF TECHNIQUE FOR PARALLEL PROGRAMS .1. [J].

OWICKI, S ;

GRIES, D .

[14] TERMINATION DETECTION FOR DISTRIBUTED COMPUTATIONS [J].

TOPOR, RW .