REPEATED SNAPSHOTS IN DISTRIBUTED SYSTEMS WITH SYNCHRONOUS COMMUNICATIONS AND THEIR IMPLEMENTATION IN CSP

被引：27

作者：

BOUGE, L ^{[1
]}

机构：

[1] UNIV ORLEANS,FAC SCI,INFORMAT LAB,F-45067 ORLEANS 02,FRANCE

来源：

THEORETICAL COMPUTER SCIENCE | 1987年 / 49卷 / 2-3期

关键词：

D O I：

10.1016/0304-3975(87)90005-3

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：145 / 169

页数：25

共 31 条

[1]

APT KR, 1985, RC10975 IBM SCI CTR

[2]

APT KR, 1985, NATO ASI SERIES F, V14, P475

[3]

BOUGE L, IN PRESS ACTA INFORM

[4]

BOUGE L, 1985, LITP8532 U PAR 7 REP

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

CHANDY, KM ;

LAMPORT, L .

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

[6] HOW PROCESSES LEARN [J].

CHANDY, KM ;

MISRA, J .

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

[7]

CHANDY KM, 1983, 3RD P C F SOFT TECH, P192

[8]

CHANDY KM, 1985, TR8502 U TEX AUST DE

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

DIJKSTRA, EW ;

FEIJEN, WHJ ;

VANGASTEREN, AJM .

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

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

DIJKSTRA, EW ;

SCHOLTEN, CS .

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

← 1 2 3 4 →