PROCESSES AND THE DENOTATIONAL SEMANTICS OF CONCURRENCY

被引:154
作者
DEBAKKER, JW [1 ]
ZUCKER, JI [1 ]
机构
[1] SUNY BUFFALO,DEPT COMP SCI,BUFFALO,NY 14226
来源
INFORMATION AND CONTROL | 1982年 / 54卷 / 1-2期
关键词
D O I
10.1016/S0019-9958(82)91250-5
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:70 / 120
页数:51
相关论文
共 58 条
[1]   A Proof System for Communicating Sequential Processes [J].
Apt, Krzysztof R. ;
Francez, Nissim ;
De Roever, Willem P. .
ACM Transactions on Programming Languages and Systems, 1980, 2 (03) :359-385
[2]  
APT KR, 1981, LECTURE NOTES COMPUT, V115, P479
[3]  
APT KR, 1981, FORMAL JUSTIFICATION
[4]  
Apt Krzysztof R., 1982, LECT NOTES COMPUTER, V131, P1
[5]   METRIC INTERPRETATIONS OF INFINITE-TREES AND SEMANTICS OF NON DETERMINISTIC RECURSIVE-PROGRAMS [J].
ARNOLD, A ;
NIVAT, M .
THEORETICAL COMPUTER SCIENCE, 1980, 11 (02) :181-205
[6]  
ARNOLD A, 1980, FUND INFORM, V4, P445
[7]  
BACK RJ, 1982, REFINEMENT KAHNS SEM
[8]  
BACK RJ, 1980, LECTURE NOTES COMPUT, V85, P52
[9]  
BEKIC H, 1971, TR25125 IBM LAB TECH
[10]  
BERGSTRA JA, 1982, IW206 MATH CENTR DEP