Some algebraic laws of Timed RSL are presented, which can be proved from the denotational semantics, and be used in program transformation and optimization.

• 最后还给出了时间化 RSL的一些代数定律 .；这些定律可以从其指称语义证明；并用于程序的转化和优化