TESTING EQUIVALENCES FOR PROCESSES

被引：643
作者：
DENICOLA, R
HENNESSY, MCB
机构：
来源：
THEORETICAL COMPUTER SCIENCE | 1984年 / 34卷 / 1-2期
关键词：
D O I：
10.1016/0304-3975(84)90113-0
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：83 / 133
页数：51
相关论文
共 29 条
[1]   VARIETIES OF ORDERED ALGEBRAS [J].
BLOOM, SL .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1976, 13 (02) :200-212
[2]  
BRINCHHANSEN P, 1978, COMMUN ACM, V21, P934
[3]  
BRINCHHANSEN P, 1975, IEEE T SOFTWARE ENG, V1, P99
[4]  
COURCELLE B, 1976, 17TH P FOCS ANN S HO
[5]  
Darondeau P., 1982, LNCS, V137, P47, DOI [10.1007/3-540- 11494-7_5, DOI 10.1007/3-540-11494-7_5]
[6]  
DENICOLA R, 1983, LECT NOTES COMPUT SC, V158, P115
[7]  
DENICOLA R, THESIS U EDINBURGH
[8]   SEMANTICS OF NONDETERMINISM, CONCURRENCY, AND COMMUNICATION [J].
FRANCEZ, N ;
HOARE, CAR ;
LEHMANN, DJ ;
DEROEVER, WP .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1979, 19 (03) :290-308
[9]   INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS [J].
GOGUEN, JA ;
THATCHER, JW ;
WAGNER, EG ;
WRIGHT, JB .
JOURNAL OF THE ACM, 1977, 24 (01) :68-95
[10]  
Gordon M. J. C., 1979, The Denotational Description of Programming Languages: An Introduction
123