KUČERA, Antonín. Effective Decomposability of Sequential Behaviours. Theoretical Computer Science. Amsterdam, Nizozemí, roč. 242, 1-2, s. 71-89. ISSN 0304-3975. 2000.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Effective Decomposability of Sequential Behaviours.
Autoři KUČERA, Antonín.
Vydání Theoretical Computer Science, Amsterdam, Nizozemí, 2000, 0304-3975.
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 Nizozemské království
Utajení není předmětem státního či obchodního tajemství
Impakt faktor Impact factor: 0.417
Kód RIV RIV/00216224:14330/00:00000061
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky concurrency; process algebra; bisimilarity; decomposability
Štítky bisimilarity, concurrency, decomposability, process algebra
Změnil Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 26. 5. 2000 11:11.
Návaznosti
GA201/97/0456, projekt VaVNázev: Meze algoritmické verifikovatelnosti nekonečně stavových systémů
Investor: Grantová agentura ČR, Meze algoritmické verifikovatelnosti nekonečně stavových systémů
GA201/98/P046, projekt VaVNázev: Rozhodnutelné problémy v algebrách procesů
Investor: Grantová agentura ČR, Rozhodnutelné problémy v algebrách procesů
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, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů
VytisknoutZobrazeno: 20. 4. 2024 00:35