Towards a theory of bisimulation for the higher-order process calculi

被引：6
|
作者：
Li, YJ [1 ]
Liu, XX [1 ]
机构：
[1] Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China
来源：
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY | 2004年 / 19卷 / 03期
基金：
中国国家自然科学基金;
关键词：
higher-order process; labelled transition semantics; barbed bisimulation; context-bisimulation;
D O I：
10.1007/BF02944905
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, a labelled transition semantics for higher-order process calculi is studied. The labelled transition semantics is relatively clean and simple, and corresponding bisimulation equivalence can be easily formulated based on it. And the congruence properties of the bisimulation equivalence can be proved easily. To show the correspondence between the proposed semantics and the well-established ones, the bisimulation is characterized as a version of barbed equivalence and a version of context bisimulation.
引用
收藏
页码：352 / 363
页数：12
相关论文
共 50 条
  • [1] Towards a theory of bisimulation for the higher-order process calculi
    Yong-Jian Li
    Xin-Xin Liu
    [J]. Journal of Computer Science and Technology, 2004, 19 : 352 - 363
  • [2] BISIMULATION IN HIGHER-ORDER PROCESS CALCULI
    SANGIORGI, D
    [J]. PROGRAMMING CONCEPTS, METHODS AND CALCULI, 1994, 56 : 207 - 224
  • [3] Bisimulation for higher-order process calculi
    Sangiorgi, D
    [J]. INFORMATION AND COMPUTATION, 1996, 131 (02) : 141 - 178
  • [4] On Bisimulation Theory in Linear Higher-Order π-Calculus
    Xu, Xian
    [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 244 - 274
  • [5] Recursive equations in higher-order process calculi
    Ying, MS
    Wirsing, M
    [J]. THEORETICAL COMPUTER SCIENCE, 2001, 266 (1-2) : 839 - 852
  • [6] On the expressiveness and decidability of higher-order process calculi
    Lanese, Ivan
    Perez, Jorge A.
    Sangiorgi, Davide
    Schmitt, Alan
    [J]. INFORMATION AND COMPUTATION, 2011, 209 (02) : 198 - 226
  • [7] On the expressiveness and decidability of higher-order process calculi
    Lanese, Ivan
    Perez, Jorge A.
    Sangiorgi, Davide
    Schmitt, Alan
    [J]. TWENTY-THIRD ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2008, : 145 - +
  • [8] Contextual Labelled Semantics for Higher-order Process Calculi
    Li, Yongjian
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 138 (01) : 61 - 77
  • [9] Characteristic bisimulation for higher-order session processes
    Dimitrios Kouzapas
    Jorge A. Pérez
    Nobuko Yoshida
    [J]. Acta Informatica, 2017, 54 : 271 - 341
  • [10] Asynchronous process calculi: the first- and higher-order paradigms
    Sangiorgi, D
    [J]. THEORETICAL COMPUTER SCIENCE, 2001, 253 (02) : 311 - 350
12345