Simulation and Bisimulation over One-Counter Processes

• Autoři: JANČAR Petr; KUČERA Antonín; MOLLER Faron
• Rok publikování: 2000
• Druh: Článek ve sborníku
• Konference: Proceedings of 17th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2000)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Počítačový hardware a software
• Klíčová slova: concurrency; bisimulation; simulation; one-counter automata

Související projekty

• Meze algoritmické verifikovatelnosti nekonečně stavových systémů
• 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ů