KUČERA, Antonín. Effective Decomposability of Sequential Behaviours. Theoretical Computer Science, Amsterdam, Nizozemí, 2000, roč. 242, 1-2, s. 71-89. ISSN 0304-3975.
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 Computer hardware and architecture
Stát vydavatele Nizozemsko
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, Standardní projekty
GA201/98/P046, projekt VaVNázev: Rozhodnutelné problémy v algebrách procesů
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: 19. 10. 2019 22:40