Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP 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	ČERNÁ Ivana KŘETÍNSKÝ Mojmír 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ů