1. On the metric-based approximate minimization of Markov Chains;Bacci,2017
2. Gedanken experiments on sequential machines;Moore,1956
3. An nlogn algorithm for minimizing states in a finite automaton;Hopcroft,1971
4. CCS expressions, finite state processes, and three problems of equivalence;Kanellakis,1983
5. CCS expressions, finite state processes, and three problems of equivalence;Kanellakis;Inf. Comput.,1990