Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{492120,
author = {Srba, Jiří},
address = {Netherlands},
booktitle = {Proceedings of 6th International Conference on Developments in Language Theory (DLT'02),},
keywords = {weak bisimilarity; undecidability; PA-processes},
language = {eng},
location = {Netherlands},
pages = {197-208},
publisher = {Springer-Verlag},
title = {Undecidability of Weak Bisimilarity for PA-Processes},
url = {http://www.brics.dk/~srba/publ.html},
year = {2003}
}
TY - JOUR
ID - 492120
AU - Srba, Jiří
PY - 2003
TI - Undecidability of Weak Bisimilarity for PA-Processes
PB - Springer-Verlag
CY - Netherlands
KW - weak bisimilarity
KW - undecidability
KW - PA-processes
UR - http://www.brics.dk/~srba/publ.html
N2 - We prove that the problem whether two PA-processes are weakly bisimilar is undecidable. We combine several proof techniques to provide a reduction from Post's correspondence problem to our problem: existential quantification technique, masking technique and deadlock elimination technique.
ER -
SRBA, Jiří. Undecidability of Weak Bisimilarity for PA-Processes. In \textit{Proceedings of 6th International Conference on Developments in Language Theory (DLT'02),}. Netherlands: Springer-Verlag, 2003, s.~197-208.
|
