THE TEMPORAL SEMANTICS OF CONCURRENT PROGRAMS

被引：295

|

作者：

PNUELI, A

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1981年 / 13卷 / 01期

关键词：

D O I：

10.1016/0304-3975(81)90110-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：45 / 60

页数：16

相关论文

共 50 条

[1] TRANSFORMATIONAL SEMANTICS FOR CONCURRENT PROGRAMS
BROY, M
[J]. INFORMATION PROCESSING LETTERS, 1980, 11 (02) : 87 - 91
[2] An equivalence theorem for the operational and temporal semantics of real-time, concurrent programs
Cardell-Oliver, R
[J]. JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (04) : 545 - 567
[3] Temporal semantics for concurrent METATEM
Fisher, M
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (5-6) : 627 - 648
[4] Phase semantics and verification of concurrent constraint programs
Fages, F
Ruet, P
Soliman, S
[J]. THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 141 - 152
[5] DENOTATIONAL SEMANTICS OF CONCURRENT PROGRAMS WITH SHARED MEMORY
BROY, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 166 : 163 - 173
[6] Verifying Optimizations of Concurrent Programs in the Promising Semantics
Zha, Junpeng
Liang, Hongjin
Feng, Xinyu
[J]. PROCEEDINGS OF THE 43RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '22), 2022, : 903 - 917
[7] Semantics of framed temporal logic programs
Duan, ZH
Yang, XX
Koutny, M
[J]. LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 356 - 370
[8] UNFOLDING AND FIXPOINT SEMANTICS OF CONCURRENT CONSTRAINT LOGIC PROGRAMS
GABBRIELLI, M
LEVI, G
[J]. THEORETICAL COMPUTER SCIENCE, 1992, 105 (01) : 85 - 128
[9] UNFOLDING AND FIXPOINT SEMANTICS OF CONCURRENT CONSTRAINT LOGIC PROGRAMS
GABBRIELLI, M
LEVI, G
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 463 : 204 - 216
[10] Operational semantics of framed temporal logic programs
Yang, Xiaoxiao
Duan, Zhenhua
[J]. SOFSEM 2007: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4362 : 566 - +

← 1 2 3 4 5 →