Searching for authors named "Petr Jancar" – sorted by Relevance.
30 documents found, showing 1 through 10.
Next 10 →
-
Decidability of Bisimilarity for One-Counter Processes
- … of Bisimilarity for One-Counter Processes Petr Jancar Technical University of Ostrava (visiting Uppsala University…
- Cited by 9 (2 self) – Add To MetaCart
-
Nonprimitive recursive complexity and undecidability for Petri net equivalences
- … recursive complexity and undecidability for Petri net equivalences Petr Jancar Technical University…
- Cited by 1 (0 self) – Add To MetaCart
-
Bouziane's algorithm for the Petri net reachability problem is incorrect
- …Bouziane's algorithm for the Petri net reachability problem is incorrect Petr Jancar Techn. Univ…
- Cited by 1 (0 self) – Add To MetaCart
-
A Note on Well Quasi-Orderings for Powersets
- …A note on well quasi-orderings for powersets Petr Jancar Dept. of Computer Science, FEI, Techn…
- Cited by 1 (0 self) – Add To MetaCart
-
Decidability Questions for Bisimilarity of Petri Nets and Some Related Problems
- …Decidability Questions for Bisimilarity of Petri Nets and Some Related Problems Petr Jancar Dept…
- Cited by 19 (3 self) – Add To MetaCart
-
Undecidability of Bisimilarity for Petri Nets and Some Related Problems
- …Undecidability of Bisimilarity for Petri Nets and Some Related Problems Petr Jancar Dept…
- Cited by 33 (3 self) – Add To MetaCart
-
High Undecidability of Weak Bisimilarity for Petri Nets
- … High undecidability of weak bisimilarity for Petri nets Petr Jan^car \Lambda Dept…
- Cited by 8 (1 self) – Add To MetaCart
-
\omega²-well Quasi-Orderings In Reachability Analysis
- … quasi-orderings in reachability analysis Petr Jancar Technical University of Ostrava (visiting Uppsala…
- Add To MetaCart
-
Techniques for Decidability and Undecidability of Bisimilarity
- … for Decidability and Undecidability of Bisimilarity Petr Jan car Technical University of Ostrava Petr.Jancar…
- Cited by 4 (3 self) – Add To MetaCart
-
P-hardness of Equivalence Testing on Finite-State Processes
- …P-hardness of Equivalence Testing on Finite-State Processes* Zdenk Sawa and Petr Jantar…
- Cited by 5 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
