KUČERA, Antonín. How to Parallelize Sequential Processes. Online. A. Mazurkiewicz, J. Winkowski (Eds.). In Proceedings of 8th International Conference on Concurrency Theory (CONCUR´97). Berlin: Springer, 1997. s. 302-316. Lecture Notes in Computer Science, vol. 1243. ISBN 3-540-63141-0. [citováno 2024-04-24]
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název How to Parallelize Sequential Processes
Autoři KUČERA, Antonín
A. Mazurkiewicz, J. Winkowski (Eds.).
Vydání Berlin, Proceedings of 8th International Conference on Concurrency Theory (CONCUR´97), s. 302-316, Lecture Notes in Computer Science, vol. 1243, 1997.
Nakladatel Springer
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 20206 Computer hardware and architecture
Stát vydavatele Německo
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/97:00000100
Organizační jednotka Fakulta informatiky
ISBN 3-540-63141-0
UT WoS 000074016300021
Klíčová slova anglicky concurrency; bisimilarity; infinite-state systems; decomposability
Štítky bisimilarity, concurrency, decomposability, infinite-state systems
Změnil Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 11:02.
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ů
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: 24. 4. 2024 01:01