JANČAR, Petr a Antonín KUČERA. Bisimilarity of Processes with Finite-State Systems. F. Moller (Editor). In Proceedings of 2nd International Workshop on Verification of Infinite State Systems (INFINITY´97). Uppsala (Sweden): University of Uppsala. s. 72-85. UPMAIL TR No. 148. ISBN 1100-0686. 1997.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Bisimilarity of Processes with Finite-State Systems
Autoři JANČAR, Petr a Antonín KUČERA.
F. Moller (Editor).
Vydání Uppsala (Sweden), Proceedings of 2nd International Workshop on Verification of Infinite State Systems (INFINITY´97), s. 72-85, UPMAIL TR No. 148, 1997.
Nakladatel University of Uppsala
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 20206 Computer hardware and architecture
Stát vydavatele Švédsko
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/97:00000101
Organizační jednotka Fakulta informatiky
ISBN 1100-0686
Klíčová slova anglicky concurrency; bisimilarity; infinite-state systems
Štítky bisimilarity, concurrency, infinite-state systems
Změnil Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:57.
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: 19. 4. 2024 22:06