Masaryk University

Publication Records

česky | in English

Filter publications

    2006

    1. Weakly Extended Process Rewrite Systems
      ŘEHÁK, Vojtěch. Weakly Extended Process Rewrite Systems. In MOVEP'06: 7th school on MOdeling and VErifying parallel Processes. 2006.
      More: https://is.muni.cz/publication/704989/en

    2004

    1. Extended Process Rewrite Systems: Expressiveness and Reachability
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. Extended Process Rewrite Systems: Expressiveness and Reachability. In CONCUR 2004 - Concurrency Theory. LNCS 3170. Berlin, Heidelberg, New York: Springer, 2004, p. 355-370. ISBN 3-540-22940-X.
      More: https://is.muni.cz/publication/557472/en
    2. On the Expressive Power of Extended Process Rewrite Systems
      KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. On the Expressive Power of Extended Process Rewrite Systems. BRICS Report Series. Aarhus: Basic Research in Computer Science, 2004, vol. 2004, RS-04-7, p. 1-18. ISSN 0909-0878.
      More: https://is.muni.cz/publication/554469/en
    3. Reachability for Extended Process Rewrite Systems
      ŘEHÁK, Vojtěch. Reachability for Extended Process Rewrite Systems. In MOVEP'04: 6th school on MOdeling and VErifying parallel Processes. Bruxelles, Belgium: Universite Libre de Bruxelles, 2004, p. 77-82.
      More: https://is.muni.cz/publication/562895/en
Display details
Displayed: 28/5/2024 23:34