ACHIEVING DISTRIBUTED TERMINATION WITHOUT FREEZING

被引：54

作者：

FRANCEZ, N

RODEH, M

机构：

[1] UNIV SO CALIF,LOS ANGELES,CA 90007

[2] IBM CORP,ISRAEL SCI CTR,HAIFA,ISRAEL

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1982年 / 8卷 / 03期

关键词：

D O I：

10.1109/TSE.1982.235257

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：287 / 292

页数：6

共 17 条

[1] A Proof System for Communicating Sequential Processes [J].

Apt, Krzysztof R. ;

Francez, Nissim ;

De Roever, Willem P. .

ACM Transactions on Programming Languages and Systems, 1980, 2 (03) :359-385

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

DIJKSTRA, EW ;

SCHOLTEN, CS .

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

[3]

DIJKSTRA EW, 1977, EWD608

[4]

DIJKSTRA EW, 1977, EWD607

[5]

FELDMAN JA, 1978 P ANN ACM C

[6] SEMANTICS OF NONDETERMINISM, CONCURRENCY, AND COMMUNICATION [J].

FRANCEZ, N ;

HOARE, CAR ;

LEHMANN, DJ ;

DEROEVER, WP .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1979, 19 (03) :290-308

[7]

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

[8]

FRANCEZ N, 1981, LECTURE NOTES COMPUT, V107

[9]

Hansen P. B., 1978, Communications of the ACM, V21, P934, DOI 10.1145/359642.359651

[10] COMMUNICATING SEQUENTIAL PROCESSES [J].

HOARE, CAR .

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

← 1 2 →