Abstract
Strong bisimilarity and regularity checking problems of Basic Process Algebra (BPA) are decidable, with the complexity upper bounds 2-EXPTIME. On the other hand, no lower bounds were known. In this paper we demonstrate PSPACE-hardness of these problems.
The author is supported in part by the GACR, grant No. 201/00/0400.
Basic Research in Computer Science, Centre of the Danish National Research Foundation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Balcazar, J. Gabarro, and M. Santha. Deciding bisimilarity is P-complete. Formal Aspects of Computing, 4(6A):638–648, 1992.
J.A. Bergstra and J.W. Klop. Algebra of communicating processes with abstraction. Theoretical Computer Science, 37:77–121, 1985.
O. Burkart, D. Caucal, F. Moller, and B. Steffen. Verification on infinite structures. In J. Bergstra, A. Ponse, and S. Smolka, editors, Handbook of Process Algebra, chapter 9, pages 545–623 Elsevier Science, 2001.
O. Burkart, D. Caucal, and B. Steffen. An elementary decision procedure for arbitrary context-free processes. In Proceedings of MFCS’95, volume 969 of LNCS, pages 423–433. Springer-Verlag, 1995.
O. Burkart, D. Caucal, and B. Steffen. Bisimulation collapse and the process taxonomy. In Proceedings of CONCUR’96, volume 1119 of LNCS, pages 247–262. Springer-Verlag, 1996.
S. Christensen, Y. Hirshfeld, and F. Moller. Bisimulation is decidable for basic parallel processes. In Proceedings of CONCUR’93, volume 715 of LNCS, pages 143–157. Springer-Verlag, 1993.
S. Christensen, H. Hüttel, and C. Stirling. Bisimulation equivalence is decidable for all context-free processes. Information and Computation, 121:143–148, 1995.
Y. Hirshfeld, M. Jerrum, and F. Moller. A polynomial algorithm for deciding bisimilarity of normed context-free processes. Theoretical Computer Science, 158(1–2):143–159, 1996.
P. Jancar and J. Esparza. Deciding finiteness of Petri nets up to bisimulation. In Proceedings of ICALP’ 96, volume 1099 of LNCS, pages 478–489. Springer-Verlag, 1996.
A. Kucera. Regularity is decidable for normed BPA and normed BPP processes in polynomial time. In Proceedings of SOFSEM’96, volume 1175 of LNCS, pages 377–384. Springer-Verlag, 1996.
R. Mayr. On the complexity of bisimulation problems for basic parallel processes. In Proceedings of ICALP’00, volume 1853 of LNCS, pages 329–341. Springer-Verlag, 2000.
R. Mayr. Process rewrite systems. Information and Computation, 156(1):264–286, 2000.
Ch.H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994.
J. Srba. Complexity of weak bisimilarity and regularity for BPA and BPP. In Proceedings of EXPRESS’00, volume 39 of ENTCS. Elsevier Science Publishers, 2000. To appear.
J. Srba. Strong bisimilarity and regularity of basic parallel processes is PSPACE-hard. In Proceedings of STACS’02, volume 2285 of LNCS, pages 535–546. Springer-Verlag, 2002.
J. Srba. Strong bisimilarity of simple process algebras: Complexity lower bounds. Technical Report RS-02-16, BRICS Research Series, 2002.
C. Stirling. Local model checking games. In Proceedings of CONCUR’95, volume 962 of LNCS, pages 1–11. Springer-Verlag, 1995.
J. Stribrna. Hardness results for weak bisimilarity of simple process algebras. In Proceedings of the MFCS’98 Workshop on Concurrency, volume 18 of ENTCS. Springer-Verlag, 1998.
W. Thomas. On the Ehrenfeucht-Fraïssé game in theoretical computer science (extended abstract). In Proceedings of TAPSOFT’93, volume 668 of LNCS, pages 559–568. Springer-Verlag, 1993.
Author information
Authors and Affiliations
Consortia
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Srba, J., BRICS. (2002). Strong Bisimilarity and Regularity of Basic Process Algebra Is PSPACE-Hard. In: Widmayer, P., Eidenbenz, S., Triguero, F., Morales, R., Conejo, R., Hennessy, M. (eds) Automata, Languages and Programming. ICALP 2002. Lecture Notes in Computer Science, vol 2380. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45465-9_61
Download citation
DOI: https://doi.org/10.1007/3-540-45465-9_61
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43864-9
Online ISBN: 978-3-540-45465-6
eBook Packages: Springer Book Archive