Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2005

    1. Refining Undecidability Border of Weak Bisimilarity.
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. BRICS Notes Series. San Francisco, USA, 2005, roč. 2005, NS-05-4, s. 3-14. ISSN 0909-3206.
      Podrobněji: https://is.muni.cz/publication/574582/cs
    2. Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper)
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper). Brno: FI MU, 2005. FIMU-RS-2005-06.
      Podrobněji: https://is.muni.cz/publication/574583/cs

    2002

    1. Modifications of Expansion Trees for Weak Bisimulation in BPA
      ČERNÁ, Ivana a Jitka STŘÍBRNÁ. Modifications of Expansion Trees for Weak Bisimulation in BPA. In Verification of Infinite-State Systems Infinity'2002. The Netherlands: Elsevier Science Publishers, 2002, s. 1-21. ISBN 0444512918.
      Podrobněji: https://is.muni.cz/publication/405612/cs

    1999

    1. Approximating Weak Bisimulation on Basic Process Algebras
      STŘÍBRNÁ, Jitka. Approximating Weak Bisimulation on Basic Process Algebras. Brno: Fakulta informatiky Masarykovy university, 1999, 18 s. FI MU Report Series FIMU-RS-99-05.
      Podrobněji: https://is.muni.cz/publication/230333/cs
    2. Approximating Weak Bisimulation on Basic Process Algebras
      STŘÍBRNÁ, Jitka. Approximating Weak Bisimulation on Basic Process Algebras. In Mathematical Foundations of Computer Science 1999, Proceedings. Berlin Heidelberg New York: Springer-Verlag, 1999, s. 366-374. Lecture Notes in Computer Science 1672. ISBN 3-540-66408-4.
      Podrobněji: https://is.muni.cz/publication/209371/cs
Zobrazit podrobně
Zobrazeno: 25. 9. 2024 06:37