Leung, M.-R.; Kot, M. Models for the spread of white pine blister rust. (English) Zbl 1343.92491 J. Theor. Biol. 382, 328-336 (2015). MSC: 92D30 92D25 PDF BibTeX XML Cite \textit{M. R. Leung} and \textit{M. Kot}, J. Theor. Biol. 382, 328--336 (2015; Zbl 1343.92491) Full Text: DOI
Czerwiński, Wojciech; Jančar, Petr; Kot, Martin; Sawa, Zdeněk Complexity of checking bisimilarity between sequential and parallel processes. (English) Zbl 1398.68361 Chatterjee, Krishnendu (ed.) et al., Mathematical foundations of computer science 2013. 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40312-5/pbk). Lecture Notes in Computer Science 8087, 302-313 (2013). MSC: 68Q85 68Q25 PDF BibTeX XML Cite \textit{W. Czerwiński} et al., Lect. Notes Comput. Sci. 8087, 302--313 (2013; Zbl 1398.68361) Full Text: DOI
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
Jančar, Petr; Kot, Martin; Sawa, Zdeněk Normed BPA vs. normed BPP revisited. (English) Zbl 1160.68468 van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 434-446 (2008). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{P. Jančar} et al., Lect. Notes Comput. Sci. 5201, 434--446 (2008; Zbl 1160.68468) Full Text: DOI
Kot, Martin; Sawa, Zdeněk Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time. (English) Zbl 1272.68309 Bradfield, Julian (ed.) et al., Proceedings of the 6th international workshop on verification of infinite-state systems (INFINITY 2004), London, UK, September 4, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 138, No. 3, 49-60 (2005). MSC: 68Q85 68Q25 PDF BibTeX XML Cite \textit{M. Kot} and \textit{Z. Sawa}, Electron. Notes Theor. Comput. Sci. 138, No. 3, 49--60 (2005; Zbl 1272.68309) Full Text: Link