Efficient Verification Algorithms for One-Counter Processes

• 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
• 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ů