"16"^^ . "Deciding Bisimilarity between BPA and BPP Processes" . "[3A66E98E6E4F]" . "3"^^ . "Moller, Faron" . "3-540-40753-7" . . "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."@en . "Jan\u010Dar, Petr" . "Deciding Bisimilarity between BPA and BPP Processes"@cs . . "P(GA201/03/1161), Z(MSM 143300001), Z(MSM 272400013)" . "September 3-5, 2003, Marseille, France" . "1"^^ . . . . . "14330" . "Ku\u010Dera, Anton\u00EDn" . . . "Berlin" . "Deciding Bisimilarity between BPA and BPP Processes"@en . . "159" . . "Proceedings of 14th International Conference on Concurrency Theory (CONCUR 2003)" . . "verification; bisimilarity; infinite-state systems"@en . . "602853" . "Springer-Verlag" . "Deciding Bisimilarity between BPA and BPP Processes"@cs . "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."@cs . "Deciding Bisimilarity between BPA and BPP Processes" . "RIV/00216224:14330/03:00008161!RIV08-MSM-14330___" . . . . . . . "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." . "2003-01-01+01:00"^^ . "Deciding Bisimilarity between BPA and BPP Processes"@en . "RIV/00216224:14330/03:00008161" . .