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.
我们的代数语义相对于前面所作的操作语义模型来讲是可靠的,即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的。
we define the syntax of three categories of the compensation models in an incremental way, and the operational semantics are given.
递增地定义了这三类补偿模型的语法,同时给出了相应的操作语义。
in the model, the operational semantics describes the main features of class loading such as class loading constraints scheme, field and method resolutions etc.
其中,操作语义描述了类加载约束策略、字段及方法解析算法等类加载的主要特性;