A congruence rule format for name-passing process calculi from mathematical structural operational semantics

被引：19
作者：
Fiore, Marcelo [1 ]
Staton, Sam [1 ]
机构：
[1] Univ Cambridge, Comp Lab, Pembroke St, Cambridge CB2 3QG, England
来源：
21ST ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS | 2006年
基金：
英国工程与自然科学研究理事会;
关键词：
D O I：
10.1109/LICS.2006.7
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We introduce a mathematical structural operational semantics that yields a congruence result for bisimilarity and is suitable for investigating rule formats for name-passing systems. Indeed, we instantiate this general abstract model theory in a framework of nominal sets and extract from it a GSOS-like rule format for name-passing process calculi for which the associated notion of behavioural equivalence given by a form of open bisimilarity - is a congruence.
引用
收藏
页码：49 / +
页数：2
相关论文
共 22 条
  • [1] Abadi M., 2001, P POPL 01
  • [2] ACETO L, 1999, HDB PROCESS ALGEBRA, P197
  • [3] A congruence theorem for structured operational semantics of higher-order languages
    Bernstein, KL
    [J]. THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 153 - 164
  • [4] BISIMULATION CANT BE TRACED
    BLOOM, B
    ISTRAIL, SN
    MEYER, AR
    [J]. JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY, 1995, 42 (01): : 232 - 268
  • [5] Models for name-passing processes: interleaving and causal
    Cattani, GL
    Sewell, P
    [J]. INFORMATION AND COMPUTATION, 2004, 190 (02) : 136 - 178
  • [6] Semantics of name and value passing
    Fiore, M
    Turi, D
    [J]. 16TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2001, : 93 - 104
  • [7] Fiore M., 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158), P193, DOI 10.1109/LICS.1999.782615
  • [8] Comparing operational models of name-passing process calculi
    Fiore, Marcelo
    Staton, Sam
    [J]. INFORMATION AND COMPUTATION, 2006, 204 (04) : 524 - 560
  • [9] A fully abstract model for the π-calculus
    Fiore, MP
    Moggi, E
    Sangiorgi, D
    [J]. INFORMATION AND COMPUTATION, 2002, 179 (01) : 76 - 117
  • [10] A new approach to abstract syntax with variable binding
    Gabbay, Murdoch J.
    Pitts, Andrew M.
    [J]. Formal Aspects of Computing, 2002, 13 (3-5) : 341 - 363
123