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 条
  • [31] A trace based bisimulation for the spi calculus: An extended abstract
    Tiu, Alwen
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4807 : 367 - 382
  • [32] ALGORITHM FOR VERIFYING STRONG OPEN BISIMULATION IN FULL Π-CALCULUS
    邓玉欣
    傅育熙
    Journal of Shanghai Jiaotong University(Science), 2001, (02) : 147 - 152
  • [33] A True Concurrent Process Calculus and Its Conflict Bisimulation
    Cao, Zining
    SNPD 2009: 10TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCES, NETWORKING AND PARALLEL DISTRIBUTED COMPUTING, PROCEEDINGS, 2009, : 475 - 480
  • [34] A complete symbolic bisimulation for full applied pi calculus
    Liu, Jia
    Lin, Huimin
    THEORETICAL COMPUTER SCIENCE, 2012, 458 : 76 - 112
  • [35] Normal Bisimulation for Higher Order π-Calculus with Unguarded Choice
    Cao, Zining
    2014 THEORETICAL ASPECTS OF SOFTWARE ENGINEERING CONFERENCE (TASE), 2014, : 213 - 220
  • [36] Open bisimulation for the concurrent constraint pi-calculus
    Buscemi, Maria Grazia
    Montanari, Ugo
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 4960 : 254 - 268
  • [37] Bisimulation-invariant PTIME and higher-dimensional μ-calculus
    Otto, M
    THEORETICAL COMPUTER SCIENCE, 1999, 224 (1-2) : 237 - 265
  • [38] Head normal form bisimulation for pairs and the λμ-calculus -: (Extended abstract)
    Lassen, Soren B.
    21ST ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2006, : 297 - 306
  • [39] A New-type Pi Calculus with Buffers and Its Bisimulation
    Kang, Hui
    Wang, Zhi
    Zhang, Shuangshuang
    Mei, Fang
    JOURNAL OF COMPUTERS, 2012, 7 (12) : 2931 - 2938
  • [40] A Sound and Complete Bisimulation for Contextual Equivalence in λ-Calculus with Call/cc
    Yachi, Taichi
    Sumii, Eijiro
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2016, 2016, 10017 : 171 - 186
12345