Martin Kot
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time | 2013-10-02 | Paper |
| Complexity of checking bisimilarity between sequential and parallel processes Mathematical Foundations of Computer Science 2013 | 2013-09-20 | Paper |
| Complexity of deciding bisimilarity between normed BPA and normed BPP Information and Computation | 2010-10-07 | Paper |
| Normed BPA vs. Normed BPP Revisited CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Research outcomes over time
This page was built for person: Martin Kot
