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