TERMINATION DETECTION FOR DYNAMICALLY DISTRIBUTED SYSTEMS WITH NON-1ST-IN-1ST-OUT COMMUNICATION

被引：22

作者：

LAI, TH

机构：

来源：

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING | 1986年 / 3卷 / 04期

关键词：

D O I：

10.1016/0743-7315(86)90015-8

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：577 / 599

页数：23

共 18 条

[1] DISTRIBUTED SNAPSHOTS - DETERMINING GLOBAL STATES OF DISTRIBUTED SYSTEMS [J].

CHANDY, KM ;

LAMPORT, L .

ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1985, 3 (01) :63-75

[2] HOW PROCESSES LEARN [J].

CHANDY, KM ;

MISRA, J .

DISTRIBUTED COMPUTING, 1986, 1 (01) :40-52

[3]

COHEN S, 1982, 1ST P ACM S PRINC DI, P29

[4] DERIVATION OF A TERMINATION DETECTION ALGORITHM FOR DISTRIBUTED COMPUTATIONS [J].

DIJKSTRA, EW ;

FEIJEN, WHJ ;

VANGASTEREN, AJM .

INFORMATION PROCESSING LETTERS, 1983, 16 (05) :217-219

[5] TERMINATION DETECTION FOR DIFFUSING COMPUTATIONS [J].

DIJKSTRA, EW ;

SCHOLTEN, CS .

INFORMATION PROCESSING LETTERS, 1980, 11 (01) :1-4

[6]

FILMAN RE, 1984, COORDINATED COMPUTIN

[7] ACHIEVING DISTRIBUTED TERMINATION WITHOUT FREEZING [J].

FRANCEZ, N ;

RODEH, M .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (03) :287-292

[8]

Francez N., 1980, ACM Transactions on Programming Languages and Systems, V2, P42, DOI 10.1145/357084.357087

[9]

FRANCEZ N, 1981, LECT NOTES COMPUT SC, V107, P280

[10] COMMUNICATING SEQUENTIAL PROCESSES [J].

HOARE, CAR .

COMMUNICATIONS OF THE ACM, 1978, 21 (08) :666-677

← 1 2 →