On Finite Representations of Infinite-State Behaviours.

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	KUČERA Antonín
Rok publikování	1999
Druh	Článek v odborném periodiku
Časopis / Zdroj	Information Processing Letters
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Počítačový hardware a software
Klíčová slova	concurrency; infinite-state systems; behavioural equivalences; regularity
Související projekty:	Rozhodnutelné problémy v algebrách procesů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů