KUČERA, Antonín a Richard MAYR. Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time. J.C.M. Baeten, S. Mauw (Eds.). In Proceedings of 10th International Conference on Concurrency Theory (CONCUR´99). Berlin: Springer, 1999. s. 368-382. Lecture Notes in Computer Science, vol. 1664. ISBN 3-540-66425-4.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time
Autoři KUČERA, Antonín a Richard MAYR.
J.C.M. Baeten, S. Mauw (Eds.).
Vydání Berlin, Proceedings of 10th International Conference on Concurrency Theory (CONCUR´99), s. 368-382, Lecture Notes in Computer Science, vol. 1664, 1999.
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/99:00001106
Organizační jednotka Fakulta informatiky
ISBN 3-540-66425-4
UT WoS 000087625300026
Klíčová slova anglicky verification; concurrency; weak bisimilarity; infinite-state systems
Štítky concurrency, infinite-state systems, verification, weak bisimilarity
Změnil Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 10:47.
Návaznosti
GA201/98/P046, projekt VaVNázev: Rozhodnutelné problémy v algebrách procesů
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: 21. 10. 2019 02:15