KUČERA, Antonín. Efficient Verification Algorithms for One-Counter Processes. U. Montanari, J.D.P. Rolim, E. Welzl (Eds.). In Proceedings of 27th International Colloquium on Automata, Languages and Programming (ICALP 2000). Berlin, Heidelberg, New York: Springer. s. 317-328. Lecture Notes in Computer Science, vol. 1853. ISBN 3-540-67715-1. 2000.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Efficient Verification Algorithms for One-Counter Processes
Autoři KUČERA, Antonín.
U. Montanari, J.D.P. Rolim, E. Welzl (Eds.).
Vydání Berlin, Heidelberg, New York, Proceedings of 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), s. 317-328, Lecture Notes in Computer Science, vol. 1853, 2000.
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/00:00002264
Organizační jednotka Fakulta informatiky
ISBN 3-540-67715-1
UT WoS 000089738700028
Klíčová slova anglicky concurrency; bisimulation; one-counter automata
Štítky bisimulation, concurrency, one-counter automata
Změnil Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 17. 7. 2000 13:55.
Návaznosti
GA201/00/0400, projekt VaVNázev: Nekonečně stavové souběžné systémy - modely a verifikace
Investor: Grantová agentura ČR, Nekonečně stavové souběžné systémy - modely a verifikace
GA201/98/P046, projekt VaVNázev: Rozhodnutelné problémy v algebrách procesů
Investor: Grantová agentura ČR, Rozhodnutelné problémy v algebrách procesů
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: 18. 4. 2024 09:38