AN INVESTIGATION OF CONTROLS FOR CONCURRENT SYSTEMS BY ABSTRACT CONTROL LANGUAGES

被引：0

|

作者：

BURKHARD, HD

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 176卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：223 / 231

页数：9

相关论文

共 50 条

[1] AN INVESTIGATION OF CONTROLS FOR CONCURRENT SYSTEMS BASED ON ABSTRACT CONTROL LANGUAGES
BURKHARD, HD
[J]. THEORETICAL COMPUTER SCIENCE, 1985, 38 (2-3) : 193 - 222
[2] FULLY ABSTRACT DENOTATIONAL MODELS FOR NONUNIFORM CONCURRENT LANGUAGES
HORITA, E
DEBAKKER, JW
RUTTEN, JJMM
[J]. INFORMATION AND COMPUTATION, 1994, 115 (01) : 125 - 178
[3] Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
Din, Crystal Chang
Haehnle, Reiner
Henrio, Ludovic
Johnsen, Einar Broch
Pun, Violet Ka I.
Tarifa, S. Lizeth Tapia
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2024, 46 (01):
[4] Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
Din, Crystal Chang
Haehnle, Reiner
Johnsen, Einar Broch
Pun, Ka I.
Tarifa, Silvia Lizeth Tapia
[J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2017, 2017, 10501 : 22 - 43
[5] Network languages for concurrent multiagent systems
Stilman, B
[J]. COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1997, 34 (01) : 103 - 136
[6] AN ABSTRACT MACHINE FOR CONCURRENT MODULAR SYSTEMS - CHARM
CORRADINI, A
MONTANARI, U
ROSSI, F
[J]. THEORETICAL COMPUTER SCIENCE, 1994, 122 (1-2) : 165 - 200
[7] Programming languages and systems for prototyping concurrent applications
Hasselbring, W
[J]. ACM COMPUTING SURVEYS, 2000, 32 (01) : 43 - 79
[8] ABSTRACT VOWEL HARMONY SYSTEMS IN URALIC AND ALTAIC LANGUAGES
VAGO, RM
[J]. LANGUAGE, 1973, 49 (03) : 579 - 605
[9] COMPOSITIONALITY IN THE TEMPORAL LOGIC OF CONCURRENT SYSTEMS - (EXTENDED ABSTRACT)
DEBOER, FS
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 366 : 406 - 423
[10] CONNECTIONS BETWEEN A CONCRETE AND AN ABSTRACT MODEL OF CONCURRENT SYSTEMS
STARK, EW
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 442 : 53 - 79

← 1 2 3 4 5 →