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.
|
