prof. RNDr. Petr Jančar, CSc.

2000

• Simulation and Bisimulation over One-Counter Processes

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

  Article in Proceedings

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

1998

• Bisimilarity of Processes with Finite-State Systems

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

  Article in Proceedings

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

• Deciding Bisimulation-Like Equivalences with Finite-State Processes

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

  Article in Periodical

  Technical Report TUM, year: 1998, volume: 1998, edition: TUM-I9805

1997

• Bisimilarity of Processes with Finite-State Systems

  JANČAR Petr KUČERA Antonín

  Article in Proceedings

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

• Bisimilarity of Processes with Finite-state Systems

  JANČAR Petr KUČERA Antonín

  Article in Periodical

  FI MU Report Series, year: 1997, volume: 1997, edition: RS-97-02

• Bisimilarity of Processes with Finite-State Systems.

  JANČAR Petr KUČERA Antonín

  Article in Periodical

  Electronic Notes in Theoretical Computer Science, year: 1997, volume: 1997, edition: 9