- Author: Mingsheng Ying, Yuan Feng
- Language: English
- Year: 2021
- Author: Jianxin Wu, Mingsheng Ying
- Language: English
- Year: 2020
- Author: Mingsheng Ying
- Language: English
- Year: 2016
- Author: Mingsheng Ying
- Language: English
- Year: 2016
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
pdf
- Author: Mingsheng Ying (auth.)
- Language: English
- Year: 2001
- Author: Didier Dubois Henri Prade (auth.) Guoqing Chen Mingsheng Ying Kai-Yuan Cai (eds.)
- Language: English
- Year: 1999