Článek ve sborníku konference

 
Abdulla, P., A., Bouajjani, A., Holík, L., Kaati, L., Vojnar, T.: Composed Bisimulation for Tree Automata, In: Implementation and Application of Automata, Berlin, DE, Springer, 2008, s. 212-222, ISBN 978-3-540-70843-8
Jazyk publikace:angličtina
Název publikace:Composed Bisimulation for Tree Automata
Název (cs):Kombinovaná bisimulace pro stromové automaty
Strany:212-222
Sborník:Implementation and Application of Automata
Konference:13th International Conference on Implementation and Application of Automata -- CIAA'08
Řada knih:LNCS 5148
Místo vydání:Berlin, DE
Rok:2008
ISBN:978-3-540-70843-8
Vydavatel:Springer Verlag
Klíčová slova
stromové automaty, bisimulace, redukce velikosti
Anotace
Zabíváme se problémem bisimulační redukce stromových automatů. Přinášíme nový způsob kombinace tzv. horní a dolní bisimulace a metodu převodu problému výpočtu stromových bisimulací na problém výpočtu klasických slovních bisimulací (nad přechodovými systémy).
BibTeX:
@INPROCEEDINGS{
   author = {A. Parosh Abdulla and Ahmed Bouajjani and Lukáš Holík and
	Lisa Kaati and Tomáš Vojnar},
   title = {Composed Bisimulation for Tree Automata},
   pages = {212--222},
   booktitle = {Implementation and Application of Automata},
   series = {LNCS 5148},
   year = {2008},
   location = {Berlin, DE},
   publisher = {Springer Verlag},
   ISBN = {978-3-540-70843-8},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8671}
}