Yuxin Deng

• Semantics of Probabilistic Processes