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.
      URL
      Název česky: Zjemneni hranice nerozhodnutelnosti pro slabou bisimulaci
      RIV/00216224:14330/05:00012580 Článek v odborném periodiku. Informatika. angličtina. Česká republika.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; weak bisimulation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 4. 12. 2006 16:38.
      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.
      URL
      Název česky: Zjemneni hranice nerozhodnutelnosti pro slabou bisimulaci
      RIV/00216224:14330/05:00012581 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
      Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
      Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; weak bisimulation
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 27. 11. 2006 15:12.
      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.
      Název anglicky: Modifications of Expansion Trees for Weak Bisimulation in BPA
      RIV/00216224:14330/02:00006476 Stať ve sborníku. Počítačový hardware a software. angličtina. Nizozemské království.
      Černá, Ivana (203 Česká republika, garant) -- Stříbrná, Jitka (203 Česká republika)
      Klíčová slova anglicky: process algebra; weak bisimulation; decidability
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 22. 11. 2006 15:07.
      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.
      URL
      RIV/00216224:14330/99:00001706 Odborná kniha. Obecná matematika. angličtina. Česká republika.
      Klíčová slova anglicky: basic process algebra; weak bisimulation; approximants; lower and upper bound
      Změnila: Mgr. Jitka Stříbrná, Ph.D., učo 29038. Změněno: 31. 3. 2000 13:14.
      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.
      URL
      RIV/00216224:14330/99:00001148 Stať ve sborníku. Obecná matematika. angličtina. Polsko.
      Klíčová slova anglicky: basic process algebra; weak bisimulation; approximants; lower and upper bound
      Změnila: Mgr. Jitka Stříbrná, Ph.D., učo 29038. Změněno: 31. 3. 2000 13:13.
      Přír. čísla: 4200507239
      Podrobněji: https://is.muni.cz/publication/209371/cs
Zobrazeno: 27. 4. 2024 02:24