Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time

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.

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: 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/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

Návaznosti

• GA201/98/P046, projekt VaV: Název: Rozhodnutelné problémy v algebrách procesů

Investor: Grantová agentura ČR, Rozhodnutelné problémy v algebrách procesů

• MSM 143300001, záměr: Ná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ů