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 条
  • [21] DECIDING BISIMULATION EQUIVALENCES FOR A CLASS OF NON-FINITE-STATE PROGRAMS
    JONSSON, B
    PARROW, J
    INFORMATION AND COMPUTATION, 1993, 107 (02) : 272 - 302
  • [22] Complete inference systems for weak bisimulation equivalences in the pi-calculus
    Lin, HM
    TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 187 - 201
  • [23] Complete inference systems for weak bisimulation equivalences in the πr-calculus
    Lin, HM
    INFORMATION AND COMPUTATION, 2003, 180 (01) : 1 - 29
  • [24] k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes
    De Ruvo, Giuseppe
    Lettieri, Giuseppe
    Martino, Domenico
    Santone, Antonella
    Vaglini, Gigliola
    FORMAL ASPECTS OF COMPONENT SOFTWARE, 2016, 9539 : 181 - 198
  • [25] TESTING EQUIVALENCES FOR PROCESSES
    DENICOLA, R
    HENNESSY, MCB
    LECTURE NOTES IN COMPUTER SCIENCE, 1983, 154 : 548 - 560
  • [26] Equivalences of BPMN processes
    Lam, Vitus S. W.
    SERVICE ORIENTED COMPUTING AND APPLICATIONS, 2009, 3 (03) : 189 - 204
  • [27] Bisimulation for labelled Markov processes
    Desharnais, J
    Edalat, A
    Panangaden, P
    INFORMATION AND COMPUTATION, 2002, 179 (02) : 163 - 193
  • [28] TESTING EQUIVALENCES FOR PROCESSES
    DENICOLA, R
    HENNESSY, MCB
    THEORETICAL COMPUTER SCIENCE, 1984, 34 (1-2) : 83 - 133
  • [29] Symbolic Bisimulation for Quantum Processes
    Feng, Yuan
    Deng, Yuxin
    Ying, Mingsheng
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2014, 15 (02)
  • [30] Bisimulation for labelled Markov processes
    Blute, R
    Desharnais, J
    Edalat, A
    Panangaden, P
    12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 149 - 158
12345