Simulation and Bisimulation over One-Counter Processes

Logo poskytovatele
Logo poskytovatele
Logo poskytovatele

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

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.