Huajun Qin

Publication Activity (10 Years)

Years Active: 1990-1991
Publications (10 Years): 0

Publications

Huajun Qin, Philip Lewis
Factorisation of Finite State Machines under Strong and Observational Equivalences. Formal Aspects Comput. 3 (3) (1991)
Huajun Qin, Philip Lewis
Decomposition of Finite State Machines under Isomorphic and Bisimulation Equivalences. AMAST (1991)
Huajun Qin, Philip Lewis
Factorization of Finite State Machines under Observational Equivalence. CONCUR (1990)