Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2002

    1. Simulation Preorder over Simple Process Algebras
      KUČERA, Antonín a Richard MAYR. Simulation Preorder over Simple Process Algebras. Information and Computation. Academic Press, 2002, roč. 173, č. 2, s. 184-198. ISSN 0890-5401.
      RIV/00216224:14330/02:00005613 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Spojené státy.
      Kučera, Antonín (203 Česká republika, garant) -- Mayr, Richard (276 Německo)
      Klíčová slova anglicky: concurrency; process algebras; simulation equivalence
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 18:17.
      Podrobněji: https://is.muni.cz/publication/401191/cs

    1999

    1. Simulation Preorder on Simple Process Algebras
      KUČERA, Antonín a Mayr RICHARD. Simulation Preorder on Simple Process Algebras. Technical Report TUM. Germany: Technical University Munich, 1999, roč. 1999, TUM-I9902, s. 1-23.
      Název anglicky: Simulation Preorder on Simple Process Algebras
      RIV/00216224:14330/99:00001766 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: process algebras; weak bisimilarity; finite-state systems
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 15:13.
      Podrobněji: https://is.muni.cz/publication/233671/cs

    1998

    1. Deciding Bisimulation-Like Equivalences with Finite-State Processes
      JANČAR, Petr, Antonín KUČERA a Mayr RICHARD. Deciding Bisimulation-Like Equivalences with Finite-State Processes. Technical Report TUM. Germany: Technical University Munich, 1998, roč. 1998, TUM-I9805, s. 1-24.
      Název anglicky: Deciding Bisimulation-Like Equivalences with Finite-State Processes
      RIV/00216224:14330/98:00001759 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: process algebras; bisimilarity; finite-state systems
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 14:03.
      Podrobněji: https://is.muni.cz/publication/233351/cs
    2. Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time
      KUČERA, Antonín a Mayr RICHARD. Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time. Technical Report TUM. Germany: Technical University Munich, 1998, roč. 1998, TUM-I9830, s. 1-28.
      Název anglicky: Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time
      RIV/00216224:14330/98:00001760 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: process algebras; bisimilarity; finite-state systems
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 14:09.
      Podrobněji: https://is.muni.cz/publication/233371/cs

    1997

    1. Bisimilarity of Processes with Finite-state Systems
      JANČAR, Petr a Antonín KUČERA. Bisimilarity of Processes with Finite-state Systems. FI MU Report Series. Brno: FI MU, 1997, roč. 1997, RS-97-02, s. 1-19.
      Název anglicky: Bisimilarity of Processes with Finite-state Systems
      RIV/00216224:14330/97:00001757 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Česká republika.
      Klíčová slova anglicky: process algebras; bisimilarity; finite-state systems
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 13:51.
      Podrobněji: https://is.muni.cz/publication/233331/cs

    1996

    1. Comparing Expressibility of Normed BPA and Normed BPP Processes
      ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. Comparing Expressibility of Normed BPA and Normed BPP Processes. FI MU Report Series. Brno: FI MU, 1996, roč. 1996, RS-96-02, s. 1-28.
      Název anglicky: Comparing Expressibility of Normed BPA and Normed BPP Processes
      RIV/00216224:14330/96:00001754 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Česká republika.
      Klíčová slova anglicky: process algebras; bisimilarity;
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 13:50.
      Podrobněji: https://is.muni.cz/publication/233292/cs
    2. How to Parallelize Sequential Processes
      KUČERA, Antonín. How to Parallelize Sequential Processes. FI MU Report Series. Brno: FI MU, 1996, roč. 1996, RS-96-05, s. 1-24.
      Název anglicky: How to Parallelize Sequential Processes
      RIV/00216224:14330/96:00001755 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Česká republika.
      Klíčová slova anglicky: process algebras; bisimilarity; decomposition
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 13:48.
      Podrobněji: https://is.muni.cz/publication/233312/cs
    3. Regularity is Decidable for Normed PA Processes in Polynomial Time
      KUČERA, Antonín. Regularity is Decidable for Normed PA Processes in Polynomial Time. FI MU Report Series. Brno: FI MU, 1996, roč. 1996, RS-96-01, s. 1-17.
      Název anglicky: Regularity is Decidable for Normed PA Processes in Polynomial Time
      RIV/00216224:14330/96:00001753 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Česká republika.
      Klíčová slova anglicky: process algebras; regularity; bisimilarity
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 13:47.
      Podrobněji: https://is.muni.cz/publication/233251/cs
    4. Regularity is Decidable for Normed PA Processes in Polynomial Time
      KUČERA, Antonín. Regularity is Decidable for Normed PA Processes in Polynomial Time. V. Chandru, V. Vinay (Eds.). In Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS´96). Berlin: Springer, 1996, s. 111-122. Lecture Notes in Computer Science, vol. 1180. ISBN 3-540-62034-6.
      Název anglicky: Regularity is Decidable for Normed PA Processes in Polynomial Time
      RIV/00216224:14330/96:00000074 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: concurrency; process algebras; bisimilarity; regularity
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 11:32.
      Podrobněji: https://is.muni.cz/publication/190126/cs

    1995

    1. Deciding Regularity in Process Algebras
      KUČERA, Antonín. Deciding Regularity in Process Algebras. BRICS Report Series. Denmark: BRICS, 1995, roč. 1995, RS-95-52, s. 1-42. ISSN 0909-0878.
      Název anglicky: Deciding Regularity in Process Algebras
      RIV/00216224:14330/95:00001752 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Dánsko.
      Klíčová slova anglicky: process algebras; regularity; behavioural equivalences
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 13:23.
      Podrobněji: https://is.muni.cz/publication/233194/cs
Zobrazeno: 25. 5. 2024 00:10