Dedicability of bisimulation equivalence for processes generating context-free languages

被引：0
|
作者：
Baeten, J.M.C. [1 ]
Bergstra, J.A. [1 ]
Klop, J.W. [1 ]
机构：
[1] Univ of Amsterdam, Amsterdam, Netherlands
来源：
| 1600年 / 40期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] DECIDABILITY OF BISIMULATION EQUIVALENCE FOR PROCESSES GENERATING CONTEXT-FREE LANGUAGES
    BAETEN, JCM
    BERGSTRA, JA
    KLOP, JW
    JOURNAL OF THE ACM, 1993, 40 (03) : 653 - 682
  • [2] DECIDABILITY OF BISIMULATION EQUIVALENCE FOR PROCESSES GENERATING CONTEXT-FREE LANGUAGES
    BAETEN, JCM
    BERGSTRA, JA
    KLOP, JW
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 259 : 94 - 111
  • [3] BISIMULATION EQUIVALENCE IS DECIDABLE FOR ALL CONTEXT-FREE PROCESSES
    CHRISTENSEN, S
    HUTTEL, H
    STIRLING, C
    INFORMATION AND COMPUTATION, 1995, 121 (02) : 143 - 148
  • [4] BISIMULATION EQUIVALENCE IS DECIDABLE FOR ALL CONTEXT-FREE PROCESSES
    CHRISTENSEN, S
    HUTTEL, H
    STIRLING, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 138 - 147
  • [5] Faster algorithm for bisimulation equivalence of normed context-free processes
    Lasota, Slawomir
    Rytter, Wojciech
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2006, PROCEEDINGS, 2006, 4162 : 646 - 657
  • [6] BRANCHING BISIMULATION FOR CONTEXT-FREE PROCESSES
    CAUCAL, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 652 : 316 - 327
  • [7] On the Commutative Equivalence of Context-Free Languages
    Carpi, Arturo
    D'Alessandro, Flavio
    DEVELOPMENTS IN LANGUAGE THEORY, DLT 2018, 2018, 11088 : 169 - 181
  • [8] Expansive-bisimulation for context-free processes
    Liu, Xinxin
    FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS, 2007, 4700 : 472 - +
  • [9] ON PERMUTATIVE GRAMMARS GENERATING CONTEXT-FREE LANGUAGES
    MAKINEN, E
    BIT, 1985, 25 (04): : 604 - 610
  • [10] NON-CONTEXT-FREE GRAMMARS GENERATING CONTEXT-FREE LANGUAGES
    BAKER, BS
    INFORMATION AND CONTROL, 1974, 24 (03): : 231 - 246
12345