... operational E reliability 工咨靠性 operational E semantics 运算语义 operational E sequence 操壮序 ...
基于1个网页-相关网页
operational e semantics
操作语义
以上为机器翻译结果，长、整句建议使用 人工翻译 。
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.
我们的代数语义相对于前面所作的操作语义模型来讲是可靠的，即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的。
youdao
应用推荐
模块上移
模块下移
不移动