Effective Decomposability of Sequential Behaviours.
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 | 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 VaV | Ná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 VaV | Název: Rozhodnutelné problémy v algebrách procesů |
Investor: Grantová agentura ČR, Rozhodnutelné problémy v algebrách procesů | |
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: 3. 10. 2024 10:32