Masaryk University

Publication Records

česky | in English

Filter publications

    2002

    1. Simulation Preorder over Simple Process Algebras
      KUČERA, Antonín and Richard MAYR. Simulation Preorder over Simple Process Algebras. Information and Computation. Academic Press, 2002, vol. 173, No 2, p. 184-198. ISSN 0890-5401.
      RIV/00216224:14330/02:00005613 Article in a journal. Computer hardware and software. English. United States of America.
      Kučera, Antonín (203 Czech Republic, guarantor) -- Mayr, Richard (276 Germany)
      Keywords in English: concurrency; process algebras; simulation equivalence
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 18:17.
      More: https://is.muni.cz/publication/401191/en

    1999

    1. Simulation Preorder on Simple Process Algebras
      KUČERA, Antonín and Mayr RICHARD. Simulation Preorder on Simple Process Algebras. Technical Report TUM. Germany: Technical University Munich, 1999, vol. 1999, TUM-I9902, p. 1-23.
      Name (in English): Simulation Preorder on Simple Process Algebras
      RIV/00216224:14330/99:00001766 Article in a journal. Computer hardware and software. English. Germany.
      Keywords in English: process algebras; weak bisimilarity; finite-state systems
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 15:13.
      More: https://is.muni.cz/publication/233671/en

    1998

    1. Deciding Bisimulation-Like Equivalences with Finite-State Processes
      JANČAR, Petr, Antonín KUČERA and Mayr RICHARD. Deciding Bisimulation-Like Equivalences with Finite-State Processes. Technical Report TUM. Germany: Technical University Munich, 1998, vol. 1998, TUM-I9805, p. 1-24.
      Name (in English): Deciding Bisimulation-Like Equivalences with Finite-State Processes
      RIV/00216224:14330/98:00001759 Article in a journal. Computer hardware and software. English. Germany.
      Keywords in English: process algebras; bisimilarity; finite-state systems
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 14:03.
      More: https://is.muni.cz/publication/233351/en
    2. Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time
      KUČERA, Antonín and Mayr RICHARD. Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time. Technical Report TUM. Germany: Technical University Munich, 1998, vol. 1998, TUM-I9830, p. 1-28.
      Name (in English): Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time
      RIV/00216224:14330/98:00001760 Article in a journal. Computer hardware and software. English. Germany.
      Keywords in English: process algebras; bisimilarity; finite-state systems
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 14:09.
      More: https://is.muni.cz/publication/233371/en

    1997

    1. Bisimilarity of Processes with Finite-state Systems
      JANČAR, Petr and Antonín KUČERA. Bisimilarity of Processes with Finite-state Systems. FI MU Report Series. Brno: FI MU, 1997, vol. 1997, RS-97-02, p. 1-19.
      Name (in English): Bisimilarity of Processes with Finite-state Systems
      RIV/00216224:14330/97:00001757 Article in a journal. Computer hardware and software. English. Czech Republic.
      Keywords in English: process algebras; bisimilarity; finite-state systems
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 13:51.
      More: https://is.muni.cz/publication/233331/en

    1996

    1. Comparing Expressibility of Normed BPA and Normed BPP Processes
      ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ and Antonín KUČERA. Comparing Expressibility of Normed BPA and Normed BPP Processes. FI MU Report Series. Brno: FI MU, 1996, vol. 1996, RS-96-02, p. 1-28.
      Name (in English): Comparing Expressibility of Normed BPA and Normed BPP Processes
      RIV/00216224:14330/96:00001754 Article in a journal. Computer hardware and software. English. Czech Republic.
      Keywords in English: process algebras; bisimilarity;
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 13:50.
      More: https://is.muni.cz/publication/233292/en
    2. How to Parallelize Sequential Processes
      KUČERA, Antonín. How to Parallelize Sequential Processes. FI MU Report Series. Brno: FI MU, 1996, vol. 1996, RS-96-05, p. 1-24.
      Name (in English): How to Parallelize Sequential Processes
      RIV/00216224:14330/96:00001755 Article in a journal. Computer hardware and software. English. Czech Republic.
      Keywords in English: process algebras; bisimilarity; decomposition
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 13:48.
      More: https://is.muni.cz/publication/233312/en
    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, vol. 1996, RS-96-01, p. 1-17.
      Name (in English): Regularity is Decidable for Normed PA Processes in Polynomial Time
      RIV/00216224:14330/96:00001753 Article in a journal. Computer hardware and software. English. Czech Republic.
      Keywords in English: process algebras; regularity; bisimilarity
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 13:47.
      More: https://is.muni.cz/publication/233251/en
    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, p. 111-122. Lecture Notes in Computer Science, vol. 1180. ISBN 3-540-62034-6.
      Name (in English): Regularity is Decidable for Normed PA Processes in Polynomial Time
      RIV/00216224:14330/96:00000074 Proceedings paper. Computer hardware and software. English. Germany.
      Keywords in English: concurrency; process algebras; bisimilarity; regularity
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 11:32.
      More: https://is.muni.cz/publication/190126/en

    1995

    1. Deciding Regularity in Process Algebras
      KUČERA, Antonín. Deciding Regularity in Process Algebras. BRICS Report Series. Denmark: BRICS, 1995, vol. 1995, RS-95-52, p. 1-42. ISSN 0909-0878.
      Name (in English): Deciding Regularity in Process Algebras
      RIV/00216224:14330/95:00001752 Article in a journal. Computer hardware and software. English. Denmark.
      Keywords in English: process algebras; regularity; behavioural equivalences
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 13:23.
      More: https://is.muni.cz/publication/233194/en
Displayed: 20/6/2024 09:35