COMPOSITIONAL SEMANTICS FOR REAL-TIME DISTRIBUTED COMPUTING

被引：21

作者：

KOYMANS, R ^{[1
]}

SHYAMASUNDAR, RK ^{[1
]}

DEROEVER, WP ^{[1
]}

GERTH, R ^{[1
]}

ARUNKUMAR, S ^{[1
]}

机构：

[1] TATA INST FUNDAMENTAL RES,NCSDCT,BOMBAY 400005,INDIA

来源：

关键词：

D O I：

10.1016/0890-5401(88)90020-X

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：210 / 256

页数：47

共 33 条

[1] BARRINGER H, 1984, 16TH P ACM S THEOR C, P51
[2] BERNSTEIN A, 1981, 8TH P S OP SYST PRIN, P1
[3] Berry G., 1984, LNCS, V197, P389
[4] BJORNER D, 1980, LECTURE NOTES COMPUT, V98
[5] BOUCHER A, 1986, THESIS U OXFORD
[6] BRANQUART P, 1982, LECTURE NOTES COMPUT, V128
[7] A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES
BROOKES, SD
HOARE, CAR
ROSCOE, AW
[J]. JOURNAL OF THE ACM, 1984, 31 (03) : 560 - 599
[8] CAMERINI J, 1982, THESIS U NICE
[9] DIJKSTRA EW, 1959, THESIS MATH CTR AMST
[10] 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