THE DENOTATIONAL SEMANTICS OF DYNAMIC NETWORKS OF PROCESSES

被引：6

作者：

DEBRUIN, A ^{[1
]}

BOHM, W ^{[1
]}

机构：

[1] UNIV MANCHESTER,DEPT COMP SCI,MANCHESTER M13 9PL,LANCS,ENGLAND

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1985年 / 7卷 / 04期

关键词：

D O I：

10.1145/4472.4473

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：656 / 679

页数：24

共 19 条

[1] RECURSIVE ASSERTIONS AND PARALLEL PROGRAMS [J].

APT, KR .

ACTA INFORMATICA, 1981, 15 (03) :219-232

[2]

ARNOLD A, 1981, RAIRO-INF THEOR APPL, V15, P103

[3]

ARVIND, 1978, FORMAL DESCRIPTION P

[4]

BOHM APW, 1983, CWI6 CTR MATH COMP S

[5]

CADIOU JM, 1972, THESIS STANFORD U

[6] PROCESSES AND THE DENOTATIONAL SEMANTICS OF CONCURRENCY [J].

DEBAKKER, JW ;

ZUCKER, JI .

INFORMATION AND CONTROL, 1982, 54 (1-2) :70-120

[7] ON THE EXISTENCE OF COOK SEMANTICS [J].

DEBRUIN, A .

SIAM JOURNAL ON COMPUTING, 1984, 13 (01) :1-13

[8]

FAUSTINI AA, 1982, LECT NOTES COMPUT SC, V140, P212

[9] SEMANTICS OF NONDETERMINISM, CONCURRENCY, AND COMMUNICATION [J].

FRANCEZ, N ;

HOARE, CAR ;

LEHMANN, DJ ;

DEROEVER, WP .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1979, 19 (03) :290-308

[10]

Gordon M., 1979, DENOTATIONAL DESCRIP

← 1 2 →