Strong bisimilarity on basic parallel processes is PSPACE-complete

被引：32
|
作者：
Jancar, P [1 ]
机构：
[1] Tech Univ Ostrava, Dept Comp Sci, CZ-70833 Ostrava, Czech Republic
来源：
18TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS | 2003年
关键词：
D O I：
10.1109/LICS.2003.1210061
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The paper shows an algorithm which, given a Basic-Parallel Processes (BPP) system, constructs a set of linear mappings which characterize the (strong) bisimulation equivalence on the system. Though the number of the constructed mappings can be exponential, they can be generated in polynomial space; this shows that the problem of deciding bisimulation equivalence on BPP is in PSPACE. Combining with the PSPACE-hardness result by Srba, PSPACE-completeness is thus established.
引用
收藏
页码：218 / 227
页数：10
相关论文
共 50 条
  • [21] Online Chromatic Number is PSPACE-Complete
    Boehm, Martin
    Vesely, Pavel
    Combinatorial Algorithms, 2016, 9843 : 16 - 28
  • [22] Online Chromatic Number is PSPACE-Complete
    Bohm, Martin
    Vesely, Pavel
    THEORY OF COMPUTING SYSTEMS, 2018, 62 (06) : 1366 - 1391
  • [23] Stochastic Muller games are PSPACE-complete
    Chatterjee, Krishnendu
    FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 436 - 448
  • [24] Friends-and-strangers is PSPACE-complete
    Yang, Chao
    Zhang, Zhujun
    INFORMATION PROCESSING LETTERS, 2025, 190
  • [25] Everything is PSPACE-complete in interaction systems
    Majster-Cederbaum, Mila
    Minnameier, Christoph
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008, PROCEEDINGS, 2008, 5160 : 216 - 227
  • [26] Optimizing the Region Algebra is PSPACE-complete
    Gelade, Wouter
    Neven, Frank
    INFORMATION PROCESSING LETTERS, 2010, 110 (16) : 639 - 643
  • [27] Convergence of Opinion Diffusion is PSPACE-Complete
    Chistikov, Dmitry
    Lisowski, Grzegorz
    Paterson, Mike
    Turrini, Paolo
    THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 7103 - 7110
  • [28] A PSPACE-complete sperner triangle game
    Burke, Kyle W.
    Teng, Shang-Hua
    INTERNET AND NETWORK ECONOMICS, PROCEEDINGS, 2007, 4858 : 445 - 456
  • [29] Task and Motion Planning Is PSPACE-Complete
    Vega-Brown, William
    Roy, Nicholas
    THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 10385 - 10392
  • [30] Online Chromatic Number is PSPACE-Complete
    Martin Böhm
    Pavel Veselý
    Theory of Computing Systems, 2018, 62 : 1366 - 1391
12345