Bisimulation
|
Bisimulation |
[Abdulla et al., 2005] 
|
Parosh Aziz Abdulla and Lisa Kaati and Marcus Nilsson (2005). Minimization of Non-Deterministic Automata with Large Alphabets. In: Proc. CIAA'05-10th International Conference on Implementation and Application of Automata, . |
| [Abdulla et al., 2006]
|
Parosh Aziz Abdulla and Lisa Kaati and Johanna Högberg (2006). Bisimulation Minimization of Tree automata. In: Proc. CIAA'06-11th International Conference on Implementation and Application of Automata, . |