Jančar, Petr; Kot, Martin; Sawa, Zdeněk Complexity of deciding bisimilarity between normed BPA and normed BPP. (English) Zbl 1209.68338 Inf. Comput. 208, No. 10, 1193-1205 (2010). MSC: 68Q85 PDF BibTeX XML Cite \textit{P. Jančar} et al., Inf. Comput. 208, No. 10, 1193--1205 (2010; Zbl 1209.68338) Full Text: DOI
Fröschle, Sibylle; Jančar, Petr; Lasota, Slawomir; Sawa, Zdeněk Non-interleaving bisimulation equivalences on basic parallel processes. (English) Zbl 1185.68444 Inf. Comput. 208, No. 1, 42-62 (2010). MSC: 68Q85 PDF BibTeX XML Cite \textit{S. Fröschle} et al., Inf. Comput. 208, No. 1, 42--62 (2010; Zbl 1185.68444) Full Text: DOI
Jančar, Petr; Kučera, Antonín; Moller, Faron; Sawa, Zdeněk DP lower bounds for equivalence-checking and model-checking of one-counter automata. (English) Zbl 1078.68087 Inf. Comput. 188, No. 1, 1-19 (2004). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{P. Jančar} et al., Inf. Comput. 188, No. 1, 1--19 (2004; Zbl 1078.68087) Full Text: DOI