Showing 1 - 4 results of 4 for search 'Petr Jančar', query time: 0.03s Refine Results
  1. 1
    Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)

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

    Published 2013-03-01
    Get full text
    Article
  2. 2
    Branching Bisimilarity of Normed BPA Processes as a Rational Monoid

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

    Published 2017-11-01
    Get full text
    Article
  3. 3
    Countdown games, and simulation on (succinct) one-counter nets

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

    Published 2023-02-01
    Get full text
    Article
  4. 4
    Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata

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

    Published 2018-11-01
    Get full text
    Article

Search Tools: