APPRAISING FAIRNESS IN LANGUAGES FOR DISTRIBUTED-PROGRAMMING

被引：83

作者：

APT, KR

FRANCEZ, N

KATZ, S

机构：

[1] CTR MATH & COMP SCI,1098 SJ AMSTERDAM,NETHERLANDS

[2] TECHNION ISRAEL INST TECHNOL,DEPT COMP SCI,HAIFA,ISRAEL

来源：

关键词：

D O I：

10.1007/BF01872848

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：226 / 241

页数：16

共 50 条

[1] A KERNEL FOR DISTRIBUTED-PROGRAMMING LANGUAGES
NG, KW
[J]. INTERFACES IN COMPUTING, 1985, 3 (3-4): : 199 - 216
[2] DISTRIBUTED-PROGRAMMING LANGUAGES - DESIGN AND IMPLEMENTATION
LEBLANC, T
COOK, R
[J]. COMPUTER COMMUNICATIONS, 1982, 5 (05) : 239 - 244
[3] INDIRECT NAMING IN DISTRIBUTED-PROGRAMMING LANGUAGES
JUNG, CD
SIBERT, E
[J]. SIGPLAN NOTICES, 1989, 24 (09): : 126 - 132
[4] A LINEAR-HISTORY SEMANTICS FOR LANGUAGES FOR DISTRIBUTED-PROGRAMMING
FRANCEZ, N
LEHMANN, D
PNUELI, A
[J]. THEORETICAL COMPUTER SCIENCE, 1984, 32 (1-2) : 25 - 46
[5] DISTRIBUTED-PROGRAMMING IN ARGUS
LISKOV, B
[J]. COMMUNICATIONS OF THE ACM, 1988, 31 (03) : 300 - 312
[6] A DISTRIBUTED-PROGRAMMING ASSISTANT
RAMSAY, A
[J]. SOFTWARE-PRACTICE & EXPERIENCE, 1983, 13 (11): : 983 - 992
[7] ABSTRACTIONS FOR DISTRIBUTED-PROGRAMMING
COOK, RP
[J]. COMPUTER LANGUAGES, 1981, 6 (3-4): : 131 - 138
[8] MOD - A LANGUAGE FOR DISTRIBUTED-PROGRAMMING
COOK, RP
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (06) : 563 - 571
[9] A DECLARATIVE ENVIRONMENT FOR DISTRIBUTED-PROGRAMMING
DIAZ, M
PIMENTEL, E
TROYA, JM
[J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 163 - 169
[10] ORCA - A LANGUAGE FOR DISTRIBUTED-PROGRAMMING
BAL, HE
TANENBAUM, AS
KAASHOEK, MF
[J]. SIGPLAN NOTICES, 1990, 25 (05): : 17 - 24