PREDICATE TRANSFER AND TIMEOUT IN MESSAGE PASSING SYSTEMS

被引：5

作者：

BERNSTEIN, AJ

机构：

来源：

关键词：

D O I：

10.1016/0020-0190(87)90197-9

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：43 / 52

页数：10

共 9 条

[1] A LOOSELY COUPLED DISTRIBUTED SYSTEM FOR RELIABLY STORING DATA [J].

BERNSTEIN, AJ .

[2]

GRAY J, 1978, LECTURE NOTES COMPUT, V60

[3] COMMUNICATING SEQUENTIAL PROCESSES [J].

HOARE, CAR .

[4]

LAMPORT L, 1982, USING TIME INSTEAD T

[5] A PROOF TECHNIQUE FOR COMMUNICATING SEQUENTIAL PROCESSES [J].

LEVIN, GM ;

GRIES, D .

[6]

NELSON BJ, 1981, CMUCS81119 CARN MELL

[7] AXIOMATIC PROOF TECHNIQUE FOR PARALLEL PROGRAMS .1. [J].

OWICKI, S ;

GRIES, D .

SCHLICHTING, RD ;

SCHNEIDER, FB .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1984, 6 (03) :402-431

WALDEN, DC .