ASYNCHRONOUS DISTRIBUTED SIMULATION VIA A SEQUENCE OF PARALLEL COMPUTATIONS

被引：243

作者：

CHANDY, KM

MISRA, J

机构：

来源：

关键词：

D O I：

10.1145/358598.358613

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：198 / 206

页数：9

共 15 条

[1] Bryant Randal Everitt, 1977, THESIS MIT
[2] DISTRIBUTED SIMULATION - CASE-STUDY IN DESIGN AND VERIFICATION OF DISTRIBUTED PROGRAMS
CHANDY, KM
MISRA, J
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1979, 5 (05) : 440 - 452
[3] DEADLOCK ABSENCE PROOFS FOR NETWORKS OF COMMUNICATING PROCESSES
CHANDY, KM
MISRA, J
[J]. INFORMATION PROCESSING LETTERS, 1979, 9 (04) : 185 - 189
[4] DISTRIBUTED SIMULATION OF NETWORKS
CHANDY, KM
HOLMES, V
MISRA, J
[J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1979, 3 (02): : 105 - 113
[5] CHANDY KM, 1980, TR144 U TEX DEP COMP
[6] DIJKSTRA EW, EWD687A5671 AL NUEN
[7] ELLIS C, 1979, 1979 P C SIM MEAS MO, P225
[8] COMMUNICATING SEQUENTIAL PROCESSES
HOARE, CAR
[J]. COMMUNICATIONS OF THE ACM, 1978, 21 (08) : 666 - 677
[9] HOLMES V, 1978, THESIS U TEXAS AUSTI
[10] NUTT GJ, 1980, EXPT DISTRIBUTED MOD