Factorization of Finite State Machines under Observational Equivalence. - Huajun Qin; Philip Lewis (CONCUR, 1990)

Decomposition of Finite State Machines under Isomorphic and Bisimulation Equivalences. - Huajun Qin; Philip Lewis (AMAST, 1991)

Factorisation of Finite State Machines under Strong and Observational Equivalences. - Huajun Qin; Philip Lewis (Formal Aspects Comput., 1991)