STEP SEMANTICS FOR TRUE CONCURRENCY WITH RECURSION

被引：1

作者：

MEYER, JJC

DEVINK, EP

机构：

来源：

DISTRIBUTED COMPUTING | 1989年 / 3卷 / 03期

关键词：

D O I：

10.1007/BF01784023

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：130 / 145

页数：16

共 50 条

[1] A TRUE CONCURRENCY SEMANTICS FOR LOTOS
DACOSTA, RJC
COURTIAT, JP
IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1993, 10 : 347 - 362
[2] A TRUE CONCURRENCY SEMANTICS FOR PARALLEL PROGRAMS
KAPUS, T
HORVAT, B
PUCKO, M
MICROPROCESSING AND MICROPROGRAMMING, 1993, 39 (2-5): : 143 - 146
[3] A TRUE CONCURRENCY MODEL OF CCS SEMANTICS
LU, RQ
THEORETICAL COMPUTER SCIENCE, 1993, 113 (02) : 231 - 258
[4] A LOTOS BASED CALCULUS WITH TRUE CONCURRENCY SEMANTICS
COURTIAT, JP
DACOSTA, RJC
IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 2 : 559 - 574
[5] A true concurrency semantics for ET-LOTOS
Bowman, H
Katoen, JP
1998 INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 1998, : 228 - 238
[6] An Operational Semantics for True Concurrency in BDI Agent Systems
de Silva, Lavindra
THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 7119 - 7126
[7] Coinductive Big-Step Semantics for Concurrency
Uustalu, Tarmo
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (137): : 63 - 78
[8] A uniform approach to true-concurrency and interleaving semantics for Petri nets
Priese, L
Wimmel, H
THEORETICAL COMPUTER SCIENCE, 1998, 206 (1-2) : 219 - 256
[9] Enhanced event structures: Towards a true concurrency semantics for E-LOTOS
Kapus-Kolar, M.
COMPUTER STANDARDS & INTERFACES, 2007, 29 (02) : 205 - 215
[10] Minimal Recursion Semantics and the Language of Acyclic Recursion
Loukanova, Roussanka
AI METHODS FOR INTERDISCIPLINARY RESEARCH IN LANGUAGE AND BIOLOGY, 2011, : 88 - 97

← 1 2 3 4 5 →