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.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Regularity is Decidable for Normed PA Processes in Polynomial Time
Autoři KUČERA, Antonín.
Vydání FI MU Report Series, Brno, FI MU, 1996.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 20206 Computer hardware and architecture
Stát vydavatele Česko
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/96:00001753
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky process algebras; regularity; bisimilarity
Štítky bisimilarity, process algebras, regularity
Změnil Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 13:47.
Návaznosti
GA201/93/2123, projekt VaVNázev: Analýza konkurentních nekonečně stavových systémů
Investor: Grantová agentura ČR, Standardní projekty
MSM 143300001, záměrNázev: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
VytisknoutZobrazeno: 7. 7. 2020 01:56