Simulation and Bisimulation over One-Counter Processes

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

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