A LINEAR-HISTORY SEMANTICS FOR LANGUAGES FOR DISTRIBUTED-PROGRAMMING

被引：36

作者：

FRANCEZ, N

LEHMANN, D

PNUELI, A

机构：

[1] HEBREW UNIV JERUSALEM,JERUSALEM,ISRAEL

[2] WEIZMANN INST SCI,IL-76100 REHOVOT,ISRAEL

来源：

关键词：

D O I：

10.1016/0304-3975(84)90022-7

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：25 / 46

页数：22

共 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] APPRAISING FAIRNESS IN LANGUAGES FOR DISTRIBUTED-PROGRAMMING
APT, KR
FRANCEZ, N
KATZ, S
[J]. DISTRIBUTED COMPUTING, 1988, 2 (04) : 226 - 241
[4] INDIRECT NAMING IN DISTRIBUTED-PROGRAMMING LANGUAGES
JUNG, CD
SIBERT, E
[J]. SIGPLAN NOTICES, 1989, 24 (09): : 126 - 132
[5] A HOL MECHANIZATION OF THE AXIOMATIC SEMANTICS OF A SIMPLE DISTRIBUTED-PROGRAMMING LANGUAGE
HARRISON, WL
ARCHER, MM
LEVITT, KN
[J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 20 : 347 - 356
[6] DISTRIBUTED-PROGRAMMING IN ARGUS
LISKOV, B
[J]. COMMUNICATIONS OF THE ACM, 1988, 31 (03) : 300 - 312
[7] A DISTRIBUTED-PROGRAMMING ASSISTANT
RAMSAY, A
[J]. SOFTWARE-PRACTICE & EXPERIENCE, 1983, 13 (11): : 983 - 992
[8] ABSTRACTIONS FOR DISTRIBUTED-PROGRAMMING
COOK, RP
[J]. COMPUTER LANGUAGES, 1981, 6 (3-4): : 131 - 138
[9] MOD - A LANGUAGE FOR DISTRIBUTED-PROGRAMMING
COOK, RP
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (06) : 563 - 571
[10] A DECLARATIVE ENVIRONMENT FOR DISTRIBUTED-PROGRAMMING
DIAZ, M
PIMENTEL, E
TROYA, JM
[J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 163 - 169