Semantics of probabilistic processes An Operational Approach = 概率进程语义 英文版

Yuxin Deng