The fixed point of continuous function is an important content in denotationalsemantics, which specifies the computing properties of programs.
连续函数的不动点是指称语义的一个重要内容，它刻画了程序的计算性质。
2
In this paper, we take probabilistic event structures as our semantic model and provide a metric denotationalsemantics for probabilistic process algebra.
本文中，我们采用概率事件结构作为语义模型，研究了概率进程代数的度量指称语义。
3
Some algebraic laws of Timed RSL are presented, which can be proved from the denotationalsemantics, and be used in program transformation and optimization.