Huajun Qin (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

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)

1 Huajun Qin, Philip Lewis: Factorization of Finite State Machines under Observational Equivalence. CONCUR 1990: 427-441

Selection of 3 from 3 records - Huajun Qin has 1 coauthors

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)
1		Huajun Qin, Philip Lewis: Factorization of Finite State Machines under Observational Equivalence. CONCUR 1990: 427-441