ON DESCRIBING THE BEHAVIOR AND IMPLEMENTATION OF DISTRIBUTED SYSTEMS

被引：47

作者：

LYNCH, NA ^{[1
]}

FISCHER, MJ ^{[1
]}

机构：

[1] UNIV WASHINGTON,SEATTLE,WA 98195

来源：

THEORETICAL COMPUTER SCIENCE | 1981年 / 13卷 / 01期

关键词：

D O I：

10.1016/0304-3975(81)90109-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：17 / 43

页数：27

相关论文

共 17 条

[1]

ATKINSON R, 1977, AI438 MASS I TECHN M

[2]

BURNS JA, UNPUBLISHED

[3]

BURNS JE, 1978, 1978 P INT C PAR PRO

[4]

Campbell R. H., 1974, SPECIFICATION PROCES

[5]

CHANDRA AK, 1978, 19TH P ANN S F COMP

[6]

CREMERS A, 1975, MUTUAL EXCLUSION N P

[7]

DIJKSTRA E, 1968, PROGRAMMING LANGUAGE

[8]

FELDMAN J, 1977, TR26 U ROCH DEP COMP

[9]

FISCHER M, GITICS7910

[10]

FISCHER MJ, 1979, 20TH P ANN S F COMP