HIGH-LEVEL DEBUGGING OF DISTRIBUTED SYSTEMS - THE BEHAVIORAL ABSTRACTION APPROACH

被引：38

作者：

BATES, PC ^{[1
]}

WILEDEN, JC ^{[1
]}

机构：

[1] UNIV MASSACHUSETTS,DEPT COMP & INFORMAT SCI,AMHERST,MA 01003

来源：

JOURNAL OF SYSTEMS AND SOFTWARE | 1983年 / 3卷 / 04期

关键词：

*Supported in part by the National Science Foundation under Grant MCS-8006327 and by the Defense Advanced Research Projects Agency (DOD); monitored by the Office of Naval Research under Contract NR049-041. **Supported in part by the National Aeronautics and Space Administration under grant NAGl-115;

D O I：

10.1016/0164-1212(83)90011-0

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：255 / 264

页数：10

共 16 条

[1] Bates P. C., 1983, Second Annual Phoenix Conference on Computers and Communications. 1983 Conference Proceedings, P311
[2] BATES PC, 1982, 15TH P HAW INT C SYS, P86
[3] Enslow Jr P.H., 1978, IEEE COMPUT, V11, P13
[4] Ginsburg S., 1966, MATH THEORY CONTEXT
[5] Kernighan B. W, 1978, C PROGRAMMING LANGUA
[6] TIME, CLOCKS, AND ORDERING OF EVENTS IN A DISTRIBUTED SYSTEM
LAMPORT, L
[J]. COMMUNICATIONS OF THE ACM, 1978, 21 (07) : 558 - 565
[7] FUNCTIONALLY ACCURATE, COOPERATIVE DISTRIBUTED SYSTEMS
LESSER, VR
CORKILL, DD
[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1981, 11 (01): : 81 - 96
[8] LESSER VR, 1981, TR8116 U MASS DEP CO
[9] MARZULLO K, 1983, 2ND P S PRINC DISTR, P295
[10] MCGREGOR DR, 1980, SOFTWARE PRACTICE EX, V10, P309

← 1 2 →