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的一些代数定律。 这些定律可以从其指称语义证明，并用于程序的转化和优化。
2
Operational semantics and algebraic laws are very useful in practice.