A ROBUST AND EFFICIENT PROTOCOL FOR CHECKING THE AVAILABILITY OF REMOTE SITES

被引：5

作者：

WALTER, B

机构：

来源：

COMPUTER NETWORKS AND ISDN SYSTEMS | 1982年 / 6卷 / 03期

关键词：

D O I：

10.1016/0376-5075(82)90096-4

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：173 / 188

页数：16

共 12 条

[1] SYSTEM MODELING WITH HIGH-LEVEL PETRI NETS [J].

GENRICH, HJ ;

LAUTENBACH, K .

[2]

GRAY J, 1981, 7TH P INT C VER LARG, P144

[3]

Gray Jim, 1978, LECT NOTES COMPUTER, V60, P393

[4]

Hammer M., 1980, ACM Transactions on Database Systems, V5, P431, DOI 10.1145/320610.320621

[5] TIME, CLOCKS, AND ORDERING OF EVENTS IN A DISTRIBUTED SYSTEM [J].

LAMPORT, L .

[6]

Lampson B. W., 1979, CRASH RECOVERY DISTR

[7]

LELANN G, 1977, INFORMATION PROCESSI, P155

[8]

Menasce D. A., 1980, ACM Transactions on Database Systems, V5, P103, DOI 10.1145/320141.320143

STONEBRAKER, M .

[10]

Walter B., 1982, Distributed Data Sharing Systems. Proceedings of the Second International Seminar, P67