AXIOMS FOR CONCURRENT PROCESSES

被引：0

|

作者：

CREMERS, AB

HIBBARD, TN

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 555卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：54 / 68

页数：15

相关论文

共 50 条

[21] A GRAPHICAL REPRESENTATION OF CONCURRENT PROCESSES
STONE, JM
SIGPLAN NOTICES, 1989, 24 (01): : 226 - 235
[22] A transformation system for concurrent processes
De Francesco, N
Santone, A
ACTA INFORMATICA, 1998, 35 (12) : 1037 - 1073
[23] AXIOMATIZING FINITE CONCURRENT PROCESSES
HENNESSY, M
SIAM JOURNAL ON COMPUTING, 1988, 17 (05) : 997 - 1017
[24] A debugging support for concurrent processes
Hüsken, V.
Schlechtriem, G.
IT - Information Technology, 1988, 30 (04): : 285 - 290
[25] ON MODELS AND ALGEBRAS FOR CONCURRENT PROCESSES
CHERKASOVA, LA
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 324 : 27 - 43
[26] Causality and replication in concurrent processes
Degano, P
Gadducci, F
Priami, C
PERSPECTIVES OF SYSTEM INFORMATICS, 2003, 2890 : 307 - 318
[27] TOWARDS A LANGUAGE FOR CONCURRENT PROCESSES
HARLAND, DM
SOFTWARE-PRACTICE & EXPERIENCE, 1985, 15 (09): : 839 - 888
[28] Concurrent processes and the interchange entropy
Savari, SA
2003 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY - PROCEEDINGS, 2003, : 27 - 27
[29] AN ALGEBRA OF CONCURRENT NONDETERMINISTIC PROCESSES
CHERKASOVA, LA
KOTOV, VE
THEORETICAL COMPUTER SCIENCE, 1991, 90 (01) : 151 - 170
[30] DEFINING CONCURRENT PROCESSES CONSTRUCTIVELY
TAKAYAMA, Y
THEORETICAL COMPUTER SCIENCE, 1994, 122 (1-2) : 137 - 164

← 1 2 3 4 5 →