کتاب های Mingsheng Ying
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
Mingsheng Ying (auth.), 2001
Foundations of Quantum Programming
Mingsheng Ying, 2016
Foundations of Quantum Programming
Mingsheng Ying, 2016
Model Checking Quantum Systems: Principles and Algorithms
Jianxin Wu; Mingsheng Ying, 2020
