This thesis then investigates the operational semantics of MSVL. A new configuration with intervals for MSVL programs is defined.
首先定义了一种新的适用于描述区间时序逻辑程序语言语义的表达式格局和命令格局。
We define the syntax of three categories of the compensation models in an incremental way, and the operational semantics are given.
递增地定义了这三类补偿模型的语法，同时给出了相应的操作语义。
All the laws presented above are sound with respect to the operational semantics , i . e. , if the two processes are the two sides of a law, then they are bisimilar.
我们的代数语义相对于前面所作的操作语义模型来讲是可靠的，即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的。
应用推荐