本文中，我们采用概率事件结构作为语义模型，研究了概率进程代数的度量指称语义。
In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra.
最后还给出了时间化RSL的一些代数定律。 这些定律可以从其指称语义证明，并用于程序的转化和优化。
Some algebraic laws of Timed RSL are presented, which can be proved from the denotational semantics, and be used in program transformation and optimization.
代词是一种较为特殊的词类，其指称特性与其语义特征紧密相联。
As a special word class, pronouns have referential characteristics that are closely associated with their semantic features.
应用推荐