| dc.contributor.author | Jančar, Petr | |
| dc.contributor.author | Kot, Martin | |
| dc.contributor.author | Sawa, Zdeněk | |
| dc.date.accessioned | 2010-10-01T12:29:40Z | |
| dc.date.available | 2010-10-01T12:29:40Z | |
| dc.date.issued | 2010 | |
| dc.identifier.citation | Information and Computation. 2010, vol. 208, issue 10, p. 1193-1205. | en |
| dc.identifier.issn | 0890-5401 | |
| dc.identifier.uri | http://hdl.handle.net/10084/83103 | |
| dc.description.abstract | We present a polynomial-time algorithm deciding bisimilarity between a normed BPA process and a normed BPP process, with running time O(n7). This improves the previously known exponential upper bound. We first suggest an O(n3) transformation of the BPP process into “prime form”. Our algorithm then relies on a polynomial bound for a “finite-state core” of the transition system generated by the (transformed) BPP process. | en |
| dc.language.iso | en | en |
| dc.publisher | Elsevier | en |
| dc.relation.ispartofseries | Information and Computation | en |
| dc.relation.uri | http://dx.doi.org/10.1016/j.ic.2009.10.012 | en |
| dc.subject | bisimulation equivalence | en |
| dc.subject | basic process algebra | en |
| dc.subject | basic parallel processes | en |
| dc.subject | complexity | en |
| dc.title | Complexity of deciding bisimilarity between normed BPA and normed BPP | en |
| dc.type | article | en |
| dc.identifier.location | Není ve fondu ÚK | en |
| dc.identifier.doi | 10.1016/j.ic.2009.10.012 | |
| dc.identifier.wos | 000281830300006 | |