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

共 50 条

[1] PROCESSES AND THE DENOTATIONAL SEMANTICS OF CONCURRENCY
DEBAKKER, JW
ZUCKER, JI
[J]. INFORMATION AND CONTROL, 1982, 54 (1-2): : 70 - 120
[2] A Denotational Semantics for Dynamic Architectures
Marmsoler, Diego
[J]. 2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019), 2019, : 136 - 143
[3] A Denotational Semantics for Parameterised Networks of Synchronised Automata
Li, Siqi
Madelaine, Eric
[J]. UNIFYING THEORIES OF PROGRAMMING, UTP 2016, 2017, 10134 : 93 - 113
[4] Denotational semantics of dynamic fuzzy logic programming language
Zhao, Xiaofang
Li, Fanzhang
[J]. 2006 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING, 2006, : 409 - +
[5] DENOTATIONAL SEMANTICS OF PROGRAM SCHEMAS FOR LANGUAGES FOR COMMUNICATING SEQUENTIAL PROCESSES
KORABLIN, YP
NALITOV, SD
[J]. PROGRAMMING AND COMPUTER SOFTWARE, 1993, 19 (03) : 118 - 128
[6] DENOTATIONAL SEMANTICS OF COMMUNICATING PROCESSES BASED ON A LANGUAGE FOR APPLICATIVE MULTIPROGRAMMING
BROY, M
[J]. INFORMATION PROCESSING LETTERS, 1983, 17 (01) : 29 - 35
[7] DENOTATIONAL SEMANTICS OF MIXED COMPUTATION PROCESSES FOR A STRUCTURAL PROGRAMMING LANGUAGE
ZAKHAROVA, NT
PETRUSHIN, VA
YUSHCHENKO, EL
[J]. CYBERNETICS, 1988, 24 (01): : 19 - 32
[8] On phase semantics and denotational semantics: the exponentials
Bucciarelli, A
Ehrhard, T
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2001, 109 (03) : 205 - 241
[9] ON DENOTATIONAL SEMANTICS OF DATABASES
RISHE, N
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 239 : 249 - 274
[10] DOMAINS FOR DENOTATIONAL SEMANTICS
SCOTT, DS
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1982, 140 : 577 - 612

← 1 2 3 4 5 →