请输入您要查询的英文单词:
单词
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
.
我们的代数语义相对于前面所作的操作语义模型来讲是可靠的,即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的。
随便看
forwell
forwent
FORWEPCON
for what
for what
for what I can tell
for what I care
for what I know
for what it is
for what it is worth
for what it's worth
for what they are
for which reason
forwhile
for whom
for whom the bell tolls
for why
forwhy
for winding machines
Forword
forwork
for workpieces
for worlds
forworn
for years
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/10 6:28:31