MOD - A LANGUAGE FOR DISTRIBUTED-PROGRAMMING

被引：52

作者：

COOK, RP

机构：

来源：

关键词：

D O I：

10.1109/TSE.1980.234505

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：563 / 571

页数：9

共 50 条

[1] ORCA - A LANGUAGE FOR DISTRIBUTED-PROGRAMMING
BAL, HE
TANENBAUM, AS
KAASHOEK, MF
[J]. SIGPLAN NOTICES, 1990, 25 (05): : 17 - 24
[2] CSM - A DISTRIBUTED-PROGRAMMING LANGUAGE
SUN, ZX
LI, XN
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (04) : 497 - 500
[3] NIL - AN INTEGRATED LANGUAGE AND SYSTEM FOR DISTRIBUTED-PROGRAMMING
STROM, RE
YEMINI, S
[J]. SIGPLAN NOTICES, 1983, 18 (06): : 73 - 82
[4] DISTRIBUTED-PROGRAMMING IN ARGUS
LISKOV, B
[J]. COMMUNICATIONS OF THE ACM, 1988, 31 (03) : 300 - 312
[5] THE DISTRIBUTED-PROGRAMMING LANGUAGE SR - MECHANISMS, DESIGN AND IMPLEMENTATION
ANDREWS, GR
[J]. SOFTWARE-PRACTICE & EXPERIENCE, 1982, 12 (08): : 719 - 753
[6] A DISTRIBUTED-PROGRAMMING ASSISTANT
RAMSAY, A
[J]. SOFTWARE-PRACTICE & EXPERIENCE, 1983, 13 (11): : 983 - 992
[7] THE LYNX DISTRIBUTED-PROGRAMMING LANGUAGE - MOTIVATION, DESIGN AND EXPERIENCE
SCOTT, ML
[J]. COMPUTER LANGUAGES, 1991, 16 (3-4): : 209 - 233
[8] ABSTRACTIONS FOR DISTRIBUTED-PROGRAMMING
COOK, RP
[J]. COMPUTER LANGUAGES, 1981, 6 (3-4): : 131 - 138
[9] 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
[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