Bisimilarity of Processes with Finite-State Systems.

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
Rok publikování	1997
Druh	Článek v odborném periodiku
Časopis / Zdroj	Electronic Notes in Theoretical Computer Science
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	ENTCS home page
Obor	Počítačový hardware a software
Klíčová slova	concurrency; bisimilarity; infinite-state systems
Související projekty:	Meze algoritmické verifikovatelnosti nekonečně stavových systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů