DIRECT SEMANTICS OF CONCURRENT LANGUAGES IN THE SMOLCS APPROACH

被引：8

|

作者：

ASTESIANO, E

REGGIO, G

机构：

来源：

IBM JOURNAL OF RESEARCH AND DEVELOPMENT | 1987年 / 31卷 / 05期

关键词：

D O I：

10.1147/rd.315.0512

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：512 / 534

页数：23

相关论文

共 50 条

[1] THE SMOLCS APPROACH TO THE FORMAL SEMANTICS OF PROGRAMMING-LANGUAGES - A TUTORIAL INTRODUCTION
ASTESIANO, E
REGGIO, G
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 275 : 81 - 116
[2] Relaxed Operational Semantics of Concurrent Programming Languages
Boudol, Gerard
Petri, Gustavo
Serpette, Bernard
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (89): : 19 - 33
[3] SMOLCS-DRIVEN CONCURRENT CALCULI
ASTESIANO, E
REGGIO, G
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 249 : 169 - 201
[4] AN OUTLINE OF THE SMOLCS APPROACH
ASTESIANO, E
REGGIO, G
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 280 : 81 - 113
[5] A Methodology for Concurrent Languages Development based on Denotational Semantics
Ciobanu, Gabriel
Todoran, Eneia Nicolae
[J]. 11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009), 2009, : 290 - 298
[6] COMPARING DIRECT AND CONTINUATION SEMANTICS STYLES FOR CONCURRENT LANGUAGES - REVISITING AN OLD PROBLEM FROM A NEW VIEWPOINT
ASTESIANO, E
REGGIO, G
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 247 : 311 - 322
[7] AN AXIOMATIC APPROACH TO SEMANTICS OF SPECIFICATION LANGUAGES
MAHR, B
MAKOWSKY, JA
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1982, 145 : 211 - 219
[8] A semantics based approach to privacy languages
Department of Computer Science, CERIAS , Purdue University, IN, United States
不详
[J]. Comput Syst Sci Eng, 2006, 5 (339-352):
[9] A semantics based approach to privacy languages
Li, N.
Yu, T.
Anton, A.
[J]. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2006, 21 (05): : 339 - 352
[10] TOWARDS A FORMAL SEMANTICS FOR CONCURRENT LOGIC PROGRAMMING-LANGUAGES
BECKMAN, L
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 335 - 349

← 1 2 3 4 5 →