ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes. B. Steffen, T. Margaria (Eds.). In Proceedings of 1st International Workshop on Verification of Infinite State Systems (INFINITY'96). Passau: University of Passau, 1996. s. 32-46. MIP-9614.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes
Autoři ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA.
B. Steffen, T. Margaria (Eds.).
Vydání Passau, Proceedings of 1st International Workshop on Verification of Infinite State Systems (INFINITY'96), s. 32-46, MIP-9614, 1996.
Nakladatel University of Passau
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/96:00000081
Organizační jednotka Fakulta informatiky
Změnil Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 11:34.
Návaznosti
GA201/93/2123, projekt VaVNázev: Analýza konkurentních 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
VytisknoutZobrazeno: 20. 10. 2019 04:05