Efficient Verification Algorithms for One-Counter Processes

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	KUČERA Antonín
Rok publikování	2000
Druh	Článek ve sborníku
Konference	Proceedings of 27th International Colloquium on Automata, Languages and Programming (ICALP 2000)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace	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, 2000, s. 317-328. Lecture Notes in Computer Science, vol. 1853. ISBN 3-540-67715-1.
Obor	Počítačový hardware a software
Klíčová slova	concurrency; bisimulation; one-counter automata
Související projekty:	Nekonečně stavové souběžné systémy - modely a verifikace Rozhodnutelné problémy v algebrách procesů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů