Uniformity of bisimulation equivalences of Chi processes

被引：0
|
作者：
机构：
[1] Lin, Min
[2] Fu, Yu-Xi
来源：
Lin, M. (fu-yx@cs.sjtu.edu.cn) | 1793年 / Chinese Academy of Sciences卷 / 12期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Bisimulation lattice of chi processes
    Fu, YX
    ADVANCES IN COMPUTING SCIENCE-ASIAN' 98, 1998, 1538 : 245 - 262
  • [2] Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences
    Froeschle, Sibylle
    Lasota, Slawomir
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 239 (0C) : 17 - 42
  • [3] Non-interleaving bisimulation equivalences on Basic Parallel Processes
    Froeschle, Sibylle
    Jancar, Petr
    Lasota, Slawomir
    Sawa, Zdenek
    INFORMATION AND COMPUTATION, 2010, 208 (01) : 42 - 62
  • [4] Deciding bisimulation and trace equivalences for systems with many identical processes
    Yen, HC
    Jian, ST
    Lao, TP
    THEORETICAL COMPUTER SCIENCE, 1996, 170 (1-2) : 445 - 464
  • [5] Deciding bisimulation-like equivalences with finite-state processes
    Jancar, P
    Kucera, A
    Mayr, R
    THEORETICAL COMPUTER SCIENCE, 2001, 258 (1-2) : 409 - 433
  • [6] Deciding bisimulation-like equivalences with finite-state processes
    Jancar, P
    Kucera, A
    Mayr, R
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 200 - 211
  • [7] Essential transitions to bisimulation equivalences
    Eloranta, J
    Tienari, M
    Valmari, A
    THEORETICAL COMPUTER SCIENCE, 1997, 179 (1-2) : 397 - 419
  • [8] Computing strong/weak bisimulation equivalences and observation congruence for value-passing processes
    Li, ZJ
    Chen, HW
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1999, 1579 : 300 - 314
  • [9] Approximate Reachability and Bisimulation Equivalences for Transition Systems
    王超
    吴尽昭
    谭红艳
    付军
    Transactions of Tianjin University, 2016, 22 (01) : 19 - 23
  • [10] Approximate Reachability and Bisimulation Equivalences for Transition Systems
    王超
    吴尽昭
    谭红艳
    付军
    Transactions of Tianjin University, 2016, (01) : 19 - 23
12345