• 1. algebraic semantics: 代数语义学 | 代数语义 | 代数语意学
• 2. algebraic parallel semantics: 代数并发语义

• 1.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的一些代数定律。 这些定律可以从其指称语义证明，并用于程序的转化和优化。
  dict.yoduao.com
• 2.Operational semantics and algebraic laws are very useful in practice.
  形式化语义和代数法则在实践应用是很有用的。
  dict.yoduao.com

©2026 网易公司