请输入您要查询的英文单词:

 

单词 bisimilar
释义
bisimilar
  • 简明释义
  • adj.双相似的:在计算机科学和逻辑中,指两个过程或系统在某种程度上具有相似的行为特征。
  • 双语例句
  • 1
    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.
    我们的代数语义相对于前面所作的操作语义模型来讲是可靠的,即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的。
随便看

 

英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/3/20 8:11:55