Philip Lewis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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 Huajun Qin [1] [2] [3]