Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
Shanghai Jiao Tong University
Characterising Probabilistic Processes Logically
Characterising Testing Preorders for Finite Probabilistic Processes
Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation
Open Bisimulation for Quantum Processes
Program Equivalence in Linear Contexts
No associations
LandOfFree
Yuxin Deng does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Yuxin Deng, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Yuxin Deng will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-101973