Regularity of normed PA processes

Varování

Publikace nespadá pod Fakultu sportovních studií, 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	KUČERA, Antonín. Regularity of normed PA processes. Information Processing Letters. Elsevier, 1999, roč. 72, 1-2, s. 9-17. ISSN 0020-0190.
Obor	Počítačový hardware a software
Klíčová slova	concurrency; process algebra; bisimilarity; regularity
Související projekty:	Meze algoritmické verifikovatelnosti nekonečně stavových systémů Rozhodnutelné problémy v algebrách procesů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů