Factorization of Finite State Machines under Observational Equivalence.

Huajun Qin Philip Lewis Factorization of Finite State Machines under Observational Equivalence. 427-441 1990 conf/concur/1990 CONCUR db/conf/concur/concur1990.html#QinL90 http://dx.doi.org/10.1007/BFb0039075