Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes

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	ČERNÁ Ivana KŘETÍNSKÝ Mojmír KUČERA Antonín
Rok publikování	1996
Druh	Článek ve sborníku
Konference	Proceedings of 1st International Workshop on Verification of Infinite State Systems (INFINITY'96)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Počítačový hardware a software
Související projekty:	Analýza konkurentních nekonečně stavových systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů