Mingsheng Ying

Characterizations of quantum automata

Daowen Qiu, Mingsheng Ying, 2004, Theor. Comput. Sci..

Weak confluence and tau-inertness

Mingsheng Ying, 2000, Theor. Comput. Sci..

A Shorter Proof to Uniqueness of Solutions of Equations

Mingsheng Ying, 1999, Theor. Comput. Sci..