由于直接采用概率事件结构难以刻画递归进程,因此,本文在概率事件结构上采用了一种度量的方法。
Since it is hard to specify recursive processes using probabilistic event structures directly, we use a metric approach on probabilistic event structures.
由于直接采用概率事件结构难以刻画递归进程,因此,本文在概率事件结构上采用了一种度量的方法。
Since it is hard to specify recursive processes using probabilistic event structures directly, we use a metric approach on probabilistic event structures.
应用推荐