...互模拟、分支互模拟（branching bisimulation） [33] 等等，CHOCS 等高阶进程代数中使用的上下文互模拟（context bisimulation） [34][35] ，带观察的barbed 互模拟 [36] ，等等。 互模拟概念是建立在带标记的语义的基础上的。
基于4个网页-相关网页
上下文互模拟
Context mutual simulation
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动