Huajun Qin

According to our database, Huajun Qin authored at least 3 papers between 1990 and 1991.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1991

Factorisation of Finite State Machines under Strong and Observational Equivalences.

Huajun Qin, Philip Lewis

Formal Aspects Comput., 1991

Decomposition of Finite State Machines under Isomorphic and Bisimulation Equivalences.

Huajun Qin, Philip Lewis

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

Factorization of Finite State Machines under Observational Equivalence.

Huajun Qin, Philip Lewis

Proceedings of the CONCUR '90, 1990