prof. RNDr. Petr Jančar, CSc.

2000

• Simulation and Bisimulation over One-Counter Processes

  JANČAR Petr KUČERA Antonín MOLLER Faron

  Článek ve sborníku

  Proceedings of 17th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2000), rok: 2000

1998

• Bisimilarity of Processes with Finite-State Systems

  JANČAR Petr KUČERA Antonín MAYR Richard

  Článek ve sborníku

  Proceedings of 25th International Colloquium on Automata, Languages and Programming (ICALP'98), rok: 1998

• Deciding Bisimulation-Like Equivalences with Finite-State Processes

  JANČAR Petr KUČERA Antonín RICHARD Mayr

  Článek v odborném periodiku

  Technical Report TUM, rok: 1998, ročník: 1998, vydání: TUM-I9805

1997

• Bisimilarity of Processes with Finite-State Systems

  JANČAR Petr KUČERA Antonín

  Článek ve sborníku

  Proceedings of 2nd International Workshop on Verification of Infinite State Systems (INFINITY´97), rok: 1997

• Bisimilarity of Processes with Finite-state Systems

  JANČAR Petr KUČERA Antonín

  Článek v odborném periodiku

  FI MU Report Series, rok: 1997, ročník: 1997, vydání: RS-97-02

• Bisimilarity of Processes with Finite-State Systems.

  JANČAR Petr KUČERA Antonín

  Článek v odborném periodiku

  Electronic Notes in Theoretical Computer Science, rok: 1997, ročník: 1997, vydání: 9