A METHODOLOGY TO SOLVE DISTRIBUTED TERMINATION PROBLEM

被引：9

作者：

ARORA, RK

SHARMA, NK

机构：

来源：

关键词：

D O I：

10.1016/0306-4379(83)90028-5

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：37 / 39

页数：3

共 9 条

[1] GUARDED PROCEDURE - A DISTRIBUTED-PROGRAMMING CONCEPT [J].

ARORA, RK ;

SHARMA, NK .

[2] MOD - A LANGUAGE FOR DISTRIBUTED-PROGRAMMING [J].

COOK, RP .

[3]

DIJKSTRA EW, 1977, EWD608

[4]

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

[5]

FRANCEZ N, 1980, 186 TECHN ISR I TECH

[6]

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

[7] COMMUNICATING SEQUENTIAL PROCESSES [J].

HOARE, CAR .

MAO, TW ;

YEH, RT .

[9]

SILBERSCHATZ A, 1980, TR155 U TEX DEP COMP