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