Enhanced operational semantics: A tool for describing and analyzing concurrent systems

被引：35
作者：
Degano, P
Priami, C
机构：
[1] Univ Pisa, Dipartimento Informat, I-56125 Pisa, Italy
[2] Univ Verona, Dipartimento Informat, I-37134 Verona, Italy
来源：
ACM COMPUTING SURVEYS | 2001年 / 33卷 / 02期
关键词：
design; languages; theory; process algebra; parametric models;
D O I：
10.1145/384192.384194
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This article surveys the definition and application of an enhancement of structural operational semantics in the field of concurrent systems, and also addresses issues of distribution and mobility of code. The focus is on how enriching the labels of transitions with encodings of their deduction trees is sufficient to derive qualitative and quantitative information on the systems in hand simply by relabeling the transitions of a unique concrete model.
引用
收藏
页码：135 / 176
页数：42
相关论文
共 95 条
[1]  
ACETO L, 1993, 993 U SUSS
[2]   On bisimulations for the asynchronous π-calculus [J].
Amadio, RM ;
Castellani, I ;
Sangiorgi, D .
THEORETICAL COMPUTER SCIENCE, 1998, 195 (02) :291-324
[3]  
[Anonymous], 1985, MONOGRAPHS THEORETIC
[4]  
BAUSE F, 1995, LECT NOTES COMPUTER, V977, P224
[5]   A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems [J].
Bernardo, M ;
Donatiello, L ;
Gorrieri, R .
INFORMATION AND COMPUTATION, 1998, 144 (02) :83-154
[6]  
BERNARDO M, 1998, P IFIP JOINT INT C F, P457
[7]  
BLOOM B, 1995, P POPL 95, P107
[8]  
Bodei C, 1998, LECT NOTES COMPUT SC, V1503, P168
[9]   Authentication via localized names [J].
Bodei, C ;
Degano, P ;
Focardi, R ;
Priami, C .
PROCEEDINGS OF THE 12TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, 1999, :98-110
[10]  
BODEI C, 1996, LECT NOTES COMPUTER, V1099, P490
12345678910