CONTRACTIONS IN COMPARING CONCURRENCY SEMANTICS

被引：12
作者：
KOK, JN
RUTTEN, JJMM
机构：
[1] Centre for Mathematics and Computer Science, 1009 AB Amsterdam
来源：
THEORETICAL COMPUTER SCIENCE | 1990年 / 76卷 / 2-3期
关键词：
D O I：
10.1016/0304-3975(90)90016-B
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We define for a number of concurrent imperative languages both operational and denotational semantic models as fixed points of contractions on complete metric spaces. Next, we develop a general method for comparing different semantic models by relating their defining contractions and exploiting the fact that contractions have a unique fixed point. © 1990.
引用
收藏
页码：179 / 222
页数：44
相关论文
共 19 条
[1]   SOLVING REFLEXIVE DOMAIN EQUATIONS IN A CATEGORY OF COMPLETE METRIC-SPACES [J].
AMERICA, P ;
RUTTEN, J .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1989, 39 (03) :343-375
[2]   COUNTABLE NONDETERMINISM AND RANDOM ASSIGNMENT [J].
APT, KR ;
PLOTKIN, GD .
JOURNAL OF THE ACM, 1986, 33 (04) :724-767
[3]  
DEBAKKER JW, 1986, LECT NOTES COMPUT SC, V224, P51
[4]   TRANSITION-SYSTEMS, METRIC-SPACES AND READY SETS IN THE SEMANTICS OF UNIFORM CONCURRENCY [J].
DEBAKKER, JW ;
MEYER, JJC ;
OLDEROG, ER ;
ZUCKER, JI .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1988, 36 (02) :158-224
[5]   PROCESSES AND THE DENOTATIONAL SEMANTICS OF CONCURRENCY [J].
DEBAKKER, JW ;
ZUCKER, JI .
INFORMATION AND CONTROL, 1982, 54 (1-2) :70-120
[6]  
DEBAKKER JW, 1985, 17TH P ACM S THEOR C, P252
[7]  
Dugundji J., 1966, TOPOLOGY
[8]  
Engelking R, 1977, MATH MONOGRAPHS, V60
[9]   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
[10]  
HENNESSY M, 1979, LECTURE NOTES COMPUT, V74, P108
12