Author:
Chai Mingren,Qu Nan,Jiang Ying
Subject
General Computer Science,Theoretical Computer Science
Reference13 articles.
1. Abdulla P.-A., L. Kaati, and J, Högberg, Bisimulation Minimization of Tree Automata, CIAA (2006), 171–185
2. Comon H., M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi, “Tree Automata: Techniques and Applications,” 1997
3. Ene C. and T. Muntean, A broadcast-based calculus for communicating systems, IPDPS (2001), pp.149
4. Tree Automata;Gécseg,1984
5. Bisimulations for a calculus of broadcasting systems;Hennnessy;TCS,1998