Mingsheng Ying profile picture

Mingsheng Ying

Is this your author profile? Create an account to customize it!

Stand Alone

Topology in Process Calculus
Fuzzy Logic and Soft Computing
Fuzzy Logic and Soft Computing
Topology in Process Calculus
Foundations of Quantum Programming
Foundations of Quantum Programming
Foundations of Quantum Programming
Topology in Process Calculus Approximate Correctness and Infinite Evolution of Concurrent Programs
Topology in Process Calculus Approximate Correctness and Infinite Evolution of Concurrent Programs
Model Checking Quantum Systems
Model Checking Quantum Systems Principles and Algorithms
Model Checking Quantum Systems Principles and Algorithms