TERMINATION DETECTION FOR DISTRIBUTED COMPUTATIONS

被引：53

作者：

TOPOR, RW

机构：

来源：

关键词：

D O I：

10.1016/0020-0190(84)90071-1

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：33 / 36

页数：4

共 4 条

DIJKSTRA, EW ;

FEIJEN, WHJ ;

VANGASTEREN, AJM .

[2] ACHIEVING DISTRIBUTED TERMINATION WITHOUT FREEZING [J].

FRANCEZ, N ;

RODEH, M .

[3]

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

[4] COMMUNICATING SEQUENTIAL PROCESSES [J].

HOARE, CAR .