TERMINATION DETECTION OF DIFFUSING COMPUTATIONS IN COMMUNICATING SEQUENTIAL PROCESSES

被引：46

|

作者：

MISRA, J

CHANDY, KM

机构：

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1982年 / 4卷 / 01期

关键词：

D O I：

10.1145/357153.357156

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：37 / 43

页数：7

相关论文

共 50 条

[1] TERMINATION DETECTION FOR DIFFUSING COMPUTATIONS
DIJKSTRA, EW
SCHOLTEN, CS
INFORMATION PROCESSING LETTERS, 1980, 11 (01) : 1 - 4
[2] DISTRIBUTED IMPLEMENTATION OF NESTED COMMUNICATING SEQUENTIAL PROCESSES - COMMUNICATION AND TERMINATION
BAIARDI, F
FANTECHI, A
TOMASI, A
VANNESCHI, M
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1987, 4 (06) : 531 - 545
[3] ON COMMUNICATING SEQUENTIAL PROCESSES
PANDEY, BD
PATHAK, SS
COMPUTER NETWORKS AND ISDN SYSTEMS, 1995, 27 (09): : 1333 - 1348
[4] COMMUNICATING SEQUENTIAL PROCESSES
HOARE, CAR
COMMUNICATIONS OF THE ACM, 1978, 21 (08) : 666 - 677
[5] TERMINATION DETECTION FOR DISTRIBUTED COMPUTATIONS
TOPOR, RW
INFORMATION PROCESSING LETTERS, 1984, 18 (01) : 33 - 36
[6] A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES
BROOKES, SD
HOARE, CAR
ROSCOE, AW
JOURNAL OF THE ACM, 1984, 31 (03) : 560 - 599
[7] AXIOMATIC SEMANTICS OF COMMUNICATING SEQUENTIAL PROCESSES
SOUNDARARAJAN, N
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1984, 6 (04): : 647 - 662
[8] TCSP - THEORY OF COMMUNICATING SEQUENTIAL PROCESSES
OLDEROG, ER
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 255 : 441 - 465
[9] DESIGN AND PROOF OF COMMUNICATING SEQUENTIAL PROCESSES
GRIBOMONT, EP
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 259 : 261 - 276
[10] AXIOMATIC SEMANTICS OF COMMUNICATING SEQUENTIAL PROCESSES
SOUNDARARAJAN, N
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1984, 6 (03): : 647 - 662

← 1 2 3 4 5 →