Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2003

    1. KUČERA, Antonín a Javier ESPARZA. A Logical Viewpoint on Process-algebraic Quotients. Journal of logic and computation. Oxford: Oxford University Press, roč. 13, č. 6, s. 863-880. ISSN 0955-792X. 2003.
      RIV/00216224:14330/03:00008439 Článek v odborném periodiku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Kučera, Antonín (203 Česká republika, garant) -- Esparza, Javier (724 Španělsko)
      Klíčová slova anglicky: transition systems; behavioural equivalences; quotients
      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:19.

    1999

    1. KUČERA, Antonín. On Finite Representations of Infinite-State Behaviours. Information Processing Letters. Elsevier, roč. 70, č. 1, s. 23-30. ISSN 0020-0190. 1999.
      Název anglicky: On Finite Representations of Infinite-State Behaviours.
      RIV/00216224:14330/99:00000735 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Nizozemské království.
      Klíčová slova anglicky: concurrency; infinite-state systems; behavioural equivalences; regularity

      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:40.

    1997

    1. 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. s. 481-488. Lecture Notes in Computer Science, vol. 1338. ISBN 3-540-63774-5. 1997.
      Název anglicky: On Finite Representations of Infinite-State Behaviours.
      RIV/00216224:14330/97:00000096 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: concurrency; infinite-state systems; behavioural equivalences

      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 11:09.

    1995

    1. KUČERA, Antonín. Deciding Regularity in Process Algebras. BRICS Report Series. Denmark: BRICS, roč. 1995, RS-95-52, s. 1-42. ISSN 0909-0878. 1995.
      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.
Zobrazeno: 28. 3. 2024 17:07