In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra.
本文中，我们采用概率事件结构作为语义模型，研究了概率进程代数的度量指称语义。
2
The distance function of the metric is based on the length of the longest bundle chain in probabilistic event structures.
度量的距离函数是基于概率事件结构达到一致的最长因果集束链的长度。
3
Since it is hard to specify recursive processes using probabilistic event structures directly, we use a metric approach on probabilistic event structures.