Huajun Qin

	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

Coauthor Index

1

Philip Lewis

[1] [2] [3]