A Comparison of Algorithms for Normed BPA Processes - An Experimental Performance Evaluation

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	BOREK Aleš
Rok publikování	2001
Druh	Odborná kniha
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Popis	Three algorithms for deciding bisimilarity of normed BPA processes (two using bisimulation base and one using tableau) are evaluated. The evaluation is based on experimental results and some weak and strong points of algorithms with regard to practical use are being shown.
Související projekty:	Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů