Other formats:
BibTeX
LaTeX
RIS
@inproceedings{488377,
author = {Jančar, Petr and Kučera, Antonín and Moller, Faron},
address = {Berlin},
booktitle = {Proceedings of 14th International Conference on Concurrency Theory (CONCUR 2003)},
keywords = {verification; bisimilarity; infinite-state systems},
language = {eng},
location = {Berlin},
isbn = {3-540-40753-7},
pages = {159-174},
publisher = {Springer},
title = {Deciding Bisimilarity between BPA and BPP Processes},
year = {2003}
}
TY - JOUR
ID - 488377
AU - Jančar, Petr - Kučera, Antonín - Moller, Faron
PY - 2003
TI - Deciding Bisimilarity between BPA and BPP Processes
PB - Springer
CY - Berlin
SN - 3540407537
KW - verification
KW - bisimilarity
KW - infinite-state systems
N2 - We identify a necessary condition for when a given BPP process can be expressed as a BPA process. We provide an effective procedure for testing if this condition holds of a given BPP, and in the positive case we provide an effective construction for a particular form of one-counter automaton which is bisimilar to the given BPP. This in turn provides the mechanism to decide bisimilarity between a given BPP process and a given BPA process.
ER -
JANČAR, Petr, Antonín KUČERA and Faron MOLLER. Deciding Bisimilarity between BPA and BPP Processes. R. Amadio, D. Lugiez (Eds.). In \textit{Proceedings of 14th International Conference on Concurrency Theory (CONCUR 2003)}. Berlin: Springer, 2003, p.~159-174. ISBN~3-540-40753-7.
|
