Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{406218, author = {Srba, Jiří}, address = {Holland}, booktitle = {Proceedings of 13th International Conference on Concurrency Theory (CONCUR'02)}, keywords = {weak bisimilarity; pushdown automata; infinite systems}, language = {eng}, location = {Holland}, pages = {579-593}, publisher = {Springer-Verlag}, title = {Undecidability of Weak Bisimilarity for Pushdown Processes}, year = {2002} }
TY - JOUR ID - 406218 AU - Srba, Jiří PY - 2002 TI - Undecidability of Weak Bisimilarity for Pushdown Processes PB - Springer-Verlag CY - Holland KW - weak bisimilarity KW - pushdown automata KW - infinite systems N2 - We prove undecidability of the problem whether a given pair of pushdown processes is weakly bisimilar. We also show that this undecidability result extends to a subclass of pushdown processes satisfying the normedness condition. ER -
SRBA, Jiří. Undecidability of Weak Bisimilarity for Pushdown Processes. In \textit{Proceedings of 13th International Conference on Concurrency Theory (CONCUR'02)}. Holland: Springer-Verlag, 2002, s.~579-593.
|