基于进程代数语义理论,研究了无干扰性质及不可演绎性质的构造、关系及可复合性。
In this paper, the derivation of process algebraic expressions for no-interference and non-deducibility property, and the composibility of those expressions are discussed.
我们的代数语义相对于前面所作的操作语义模型来讲是可靠的,即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的。
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.
我们的代数语义相对于前面所作的操作语义模型来讲是可靠的,即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的。
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.
应用推荐