| |
| 1991 | ||
|---|---|---|
| 3 | Huajun Qin, Philip Lewis: Decomposition of Finite State Machines under Isomorphic and Bisimulation Equivalences. AMAST 1991: 559-570 | |
| 2 | Huajun Qin, Philip Lewis: Factorisation of Finite State Machines under Strong and Observational Equivalences. Formal Asp. Comput. 3(3): 284-307 (1991) | |
| 1990 | ||
| 1 | Huajun Qin, Philip Lewis: Factorization of Finite State Machines under Observational Equivalence. CONCUR 1990: 427-441 | |
| 1 | Philip Lewis | [1] [2] [3] |