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. |
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 | Česká republika |
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 VaV | Název: Analýza konkurentních nekonečně stavových systémů |
Investor: Grantová agentura ČR, Analýza konkurentních nekonečně stavových systémů | |
MSM 143300001, záměr | Ná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, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů |
VytisknoutZobrazeno: 28. 9. 2024 11:05