A Comparison of Algorithms for Normed BPA Processes - An Experimental Performance Evaluation
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F01%3A00004990" target="_blank" >RIV/00216224:14330/01:00004990 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
A Comparison of Algorithms for Normed BPA Processes - An Experimental Performance Evaluation
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
A Comparison of Algorithms for Normed BPA Processes - An Experimental Performance Evaluation
Popis výsledku anglicky
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.
Klasifikace
Druh
B - Odborná kniha
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2001
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
ISBN
—
Počet stran knihy
13
Název nakladatele
FI MU
Místo vydání
Brno
Kód UT WoS knihy
—