Bisimulation lattice of the asymmetric chi calculus with mismatch

被引：0
|
作者：
Dong, Xiao-Ju [1 ]
Fu, Yu-Xi [1 ]
Zhong, Fa-Rong [1 ]
机构：
[1] Dept. of Comp. Sci. and Eng., Shanghai Jiaotong Univ., Shanghai 200030, China
来源：
Jisuanji Yanjiu yu Fazhan/Computer Research and Development | 2004年 / 41卷 / 11期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
28
引用
收藏
页码：2019 / 2025
相关论文
共 50 条
  • [1] Bisimulation Lattice of Asymmetric Chi Calculus with Mismatch
    董笑菊
    High Technology Letters, 2003, (04) : 50 - 55
  • [2] Bisimulation lattice of chi processes
    Fu, YX
    ADVANCES IN COMPUTING SCIENCE-ASIAN' 98, 1998, 1538 : 245 - 262
  • [3] Bisimulation congruence for asymmetric χ≠-calculus
    Zhong, Farong
    Fu, Yuxi
    Dong, Xiaoju
    ISPDC 2006: FIFTH INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING, PROCEEDINGS, 2006, : 173 - +
  • [4] Understanding the mismatch combinator in chi calculus
    Fu, YX
    Yang, ZR
    THEORETICAL COMPUTER SCIENCE, 2003, 290 (01) : 779 - 830
  • [5] Barbed congruence of the asymmetric chi calculus
    董笑菊
    傅育熙
    Journal of Harbin Institute of Technology(New series), 2006, (04) : 444 - 451
  • [6] Symbolic bisimulation in the Spi Calculus
    Borgström, J
    Briais, S
    Nestmann, U
    CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, 2004, 3170 : 161 - 176
  • [7] On bisimulation in the pi-calculus
    Walker, D
    CONCUR '94: CONCURRENCY THEORY, 1994, 836 : 315 - 330
  • [8] Uniformity of bisimulation equivalences of Chi processes
    Lin, M. (fu-yx@cs.sjtu.edu.cn), 1793, Chinese Academy of Sciences (12):
  • [9] Symbolic bisimulation for the applied pi calculus
    Delaune, Stephanie
    Kremer, Steve
    Ryan, Mark
    FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 133 - 145
  • [10] Strong bisimulation for the explicit fusion calculus
    Wischik, L
    Gardner, P
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2004, 2987 : 484 - 498
12345