Bisimilarity on Basic Parallel Processes von Jančar, Petr

Volltext

Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence von Jančar, Petr

Volltext

Equivalence of pushdown automata via first-order grammars von Jančar, Petr

Volltext

CHARACTERIZATION AND COMPARSION OF NEUTRON GENERATORS OF IEC AND LINEAR D-T BY THE SPECTROMETRIC SYSTEM NGA-01 von Matej, Zdenek, Kostal, Michal, Novak, Evzen, Alexa, Petr, Uhlar, Radim, Mravec, Filip, Jancar, Ales, Cvachovec, Frantisek, Prenosil, Vaclav, Jancar, Petr

Volltext

On the Home-Space Problem for Petri Nets and its Ackermannian Complexity von Jančar, Petr, Leroux, Jérôme

Volltext

Countdown games, and simulation on (succinct) one-counter nets von Jancar, Petr, Osicka, Petr, Sawa, Zdenek

Volltext

Structural liveness of Petri nets is ExpSpace-hard and decidable von Jančar, Petr, Purser, David

Volltext

Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof) von Jancar, Petr

Volltext

Branching Bisimilarity of Normed BPA Processes as a Rational Monoid von Petr Jancar

Volltext

On Reachability for Unidirectional Channel Systems Extended with Regular Tests von Petr, Jancar, Karandikar, Prateek, Schnoebelen, Philippe

Volltext

Bisimulation equivalence and regularity for real-time one-counter automata von Bohm, Stanislav, Goller, Stefan, Jancar, Petr

Volltext

Deciding Structural Liveness of Petri Nets von Jančar, Petr

Volltext

Language equivalence of probabilistic pushdown automata von Forejt, Vojtěch, Jančar, Petr, Kiefer, Stefan, Worrell, James

Volltext

Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata von Vojtěch Forejt, Petr Jančar, Stefan Kiefer, James Worrell

Volltext

A concise proof of Commoner's theorem von Jancar, Petr

Volltext bestellen

Decidability of DPDA Language Equivalence via First-Order Grammars von Jancar, P.

Volltext

Equivalences of Pushdown Systems Are Hard von Jančar, Petr

Volltext

Bisimulation Equivalence of First-Order Grammars von Jančar, Petr

Volltext

Undecidability of Bisimilarity by Defender's Forcing von JANCAR, Petr, SRBA, Jiri

Volltext

Bouziane’s transformation of the Petri net reachability problem and incorrectness of the related algorithm von JAICAR, Petr

Volltext