Informační systém MU
KUČERA, Antonín. How to Parallelize Sequential Processes. 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.
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 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, 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
Zobrazeno: 22. 11. 2019 06:58