Masaryk University

Publication Records

česky | in English

Filter publications

    2003

    1. A Logical Viewpoint on Process-algebraic Quotients
      KUČERA, Antonín and Javier ESPARZA. A Logical Viewpoint on Process-algebraic Quotients. Journal of logic and computation. Oxford: Oxford University Press, 2003, vol. 13, No 6, p. 863-880. ISSN 0955-792X.
      RIV/00216224:14330/03:00008439 Article in a journal. Informatics. English. United Kingdom of Great Britain and Northern Ireland.
      Kučera, Antonín (203 Czech Republic, guarantor) -- Esparza, Javier (724 Spain)
      Keywords in English: transition systems; behavioural equivalences; quotients
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 18:19.
      More: https://is.muni.cz/publication/491615/en

    1999

    1. On Finite Representations of Infinite-State Behaviours.
      KUČERA, Antonín. On Finite Representations of Infinite-State Behaviours. Information Processing Letters. Elsevier, 1999, vol. 70, No 1, p. 23-30. ISSN 0020-0190.
      Name (in English): On Finite Representations of Infinite-State Behaviours.
      RIV/00216224:14330/99:00000735 Article in a journal. Computer hardware and software. English. Netherlands.
      Keywords in English: concurrency; infinite-state systems; behavioural equivalences; regularity
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 10:40.
      More: https://is.muni.cz/publication/199132/en

    1997

    1. On Finite Representations of Infinite-State Behaviours.
      KUČERA, Antonín. On Finite Representations of Infinite-State Behaviours. F. Plášil, K.G. Jeffery (Eds.). In Proceedings of 24th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'97). Berlin: Springer, 1997, p. 481-488. Lecture Notes in Computer Science, vol. 1338. ISBN 3-540-63774-5.
      Name (in English): On Finite Representations of Infinite-State Behaviours.
      RIV/00216224:14330/97:00000096 Proceedings paper. Computer hardware and software. English. Germany.
      Keywords in English: concurrency; infinite-state systems; behavioural equivalences
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 11:09.
      More: https://is.muni.cz/publication/190158/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: 27/4/2024 23:24