ALGEBRAIC OPERATIONAL SEMANTICS AND OCCAM

被引：0

作者：

GUREVICH, Y ^{[1
]}

MOSS, LS ^{[1
]}

机构：

[1] IBM CORP, THOMAS J WATSON RES CTR, DEPT MATH SCI, YORKTOWN HTS, NY 10598 USA

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 440卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：176 / 192

页数：17

共 50 条

[1] AN OPERATIONAL SEMANTICS FOR OCCAM
CAMILLERI, J
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1989, 18 (05) : 365 - 400
[2] ALGEBRAIC OPERATIONAL SEMANTICS
GUREVICH, Y
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 287 : 1 - 2
[3] Linking Operational Semantics and Algebraic Semantics for Wireless Networks
Wu, Xiaofeng
Zhu, Huibiao
FORMAL METHODS AND SOFTWARE ENGINEERING, 2013, 8144 : 380 - 396
[4] ALGEBRAIC AND OPERATIONAL SEMANTICS OF EXCEPTIONS AND ERRORS
GOGOLLA, M
DROSTEN, K
LIPECK, U
EHRICH, HD
LECTURE NOTES IN COMPUTER SCIENCE, 1982, 145 : 141 - 151
[5] ALGEBRAIC AND OPERATIONAL SEMANTICS OF POSITIVE NEGATIVE CONDITIONAL ALGEBRAIC SPECIFICATIONS
KAPLAN, S
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 338 : 419 - 434
[6] Linking Algebraic Semantics and Operational Semantics for Web Services using Maude
Liu, Peng
Zhu, Huibiao
Qin, Shengchao
Brooke, Phillip J.
Wu, Xi
2013 18TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2013, : 260 - 263
[7] DENOTATIONAL SEMANTICS FOR OCCAM
ROSCOE, AW
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 197 : 306 - 329
[8] ALGEBRAIC AND OPERATIONAL SEMANTICS OF SPECIFICATIONS ALLOWING EXCEPTIONS AND ERRORS
GOGOLLA, M
DROSTEN, K
LIPECK, U
EHRICH, HD
THEORETICAL COMPUTER SCIENCE, 1984, 34 (03) : 289 - 313
[9] ALGEBRAIC, OPERATIONAL AND DENOTATIONAL SEMANTICS OF THE LAMBDA-CALCULUS
BAKERFINCH, CA
AUSTRALIAN COMPUTER JOURNAL, 1984, 16 (03): : 96 - 101
[10] AN ALGEBRAIC VIEW OF INTERLEAVING AND DISTRIBUTED OPERATIONAL SEMANTICS FOR CCS
MONTANARI, U
YANKELEVICH, DN
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 389 : 5 - 20

← 1 2 3 4 5 →