Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2009

    1. Reachability is decidable for weakly extended process rewrite systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Reachability is decidable for weakly extended process rewrite systems. Online. Information and Computation. Elsevier, roč. 207, č. 6, s. 671-680. ISSN 0890-5401
      Podrobněji: https://is.muni.cz/publication/830834/cs

    2006

    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. Online. In Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). 2006. vyd. Amsterdam, The Netherlands: Elsevier Science. s. 17-36. ISSN 1571-0661
      Podrobněji: https://is.muni.cz/publication/616549/cs
    2. Weakly Extended Process Rewrite Systems
      ŘEHÁK, Vojtěch. Weakly Extended Process Rewrite Systems. Online. In MOVEP'06: 7th school on MOdeling and VErifying parallel Processes
      Podrobněji: https://is.muni.cz/publication/704989/cs

    2005

    1. Reachability of Hennessy - Milner properties for weakly extended PRS
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Reachability of Hennessy - Milner properties for weakly extended PRS. Online. In FSTTCS 2005: 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, 25th International Conference. Berlin, Heidelberg: Springer-Verlag. s. 213-224. ISBN 3-540-30495-9
      Podrobněji: https://is.muni.cz/publication/574584/cs
    2. 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. Online. BRICS Notes Series. San Francisco, USA, roč. 2005, NS-05-4, s. 3-14. ISSN 0909-3206
      Podrobněji: https://is.muni.cz/publication/574582/cs
    3. 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). Online. Brno: FI MU. FIMU-RS-2005-06
      Podrobněji: https://is.muni.cz/publication/574583/cs

    2004

    1. Extended Process Rewrite Systems: Expressiveness and Reachability
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Extended Process Rewrite Systems: Expressiveness and Reachability. Online. In CONCUR 2004 - Concurrency Theory. LNCS 3170. Berlin, Heidelberg, New York: Springer. s. 355-370. ISBN 3-540-22940-X
      Podrobněji: https://is.muni.cz/publication/557472/cs
    2. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. Online. In INFINITY'2003: 5th International Workshop on Verification of Infinite-State Systems. 2004. vyd. Amsterdam, The Netherlands: Elsevier Science. s. 75-88. ISSN 1571-0661
      Podrobněji: https://is.muni.cz/publication/559231/cs
    3. On the Expressive Power of Extended Process Rewrite Systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On the Expressive Power of Extended Process Rewrite Systems. Online. BRICS Report Series. Aarhus: Basic Research in Computer Science, roč. 2004, RS-04-7, s. 1-18. ISSN 0909-0878
      Podrobněji: https://is.muni.cz/publication/554469/cs
    4. Reachability for Extended Process Rewrite Systems
      ŘEHÁK, Vojtěch. Reachability for Extended Process Rewrite Systems. Online. In MOVEP'04: 6th school on MOdeling and VErifying parallel Processes. Bruxelles, Belgium: Universite Libre de Bruxelles. s. 77-82
      Podrobněji: https://is.muni.cz/publication/562895/cs

    2003

    1. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. Online. In Prelim.Proc.of the 5th Internat.Workshop on Verification of Infinite-State Systems (INFINITY'2003). Marseille, France: Universite de Provence, Marseille. s. 73-86
      Podrobněji: https://is.muni.cz/publication/488339/cs
    2. Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper)
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper). Online. Brno: FI MU. 23 s. FIMU-RS-2003-05
      Podrobněji: https://is.muni.cz/publication/488340/cs
Zobrazit podrobně
Zobrazeno: 24. 4. 2024 01:27