Factorization of Finite State Machines under Observational Equivalence.

Huajun Qin, Philip Lewis

Browse the full CONCUR paper archive.