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

共 6 条

CHANDY, KM ;

MISRA, J .

[2]

CHANDY KM, 1980, TR150 U TEX AUST DEP

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

DIJKSTRA, EW ;

SCHOLTEN, CS .

[4]

DIJKSTRA EW, REACTION E CHANGS DE

[5]

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

[6] COMMUNICATING SEQUENTIAL PROCESSES [J].

HOARE, CAR .