1) barbed bisimulation
钩互模拟
2) bisimulation
互模拟
1.
A Bisimulation Congruence Definition Framework for Mobile Process Calculi;
一个移动进程演算的互模拟同余定义框架
2.
Quantales and Process Semantics of Bisimulation;
Quantale与互模拟的进程语义
3) the bisimulation lattice
互模拟格
1.
The paper defines the syntax and semantics of the asynchronous asymmetric x-calculus , introduces a group of L-bisimilarities and constructs the bisimulation lattice of the asynchronous asymmetric x-calculus.
本文研究了异步非对称Chi演算的各种互模拟关系,文中定义了异步非对称Chi演算的语法和操作语义,引入一组L-互模拟关系,构造了异步非对称Chi演算的互模拟格。
4) weak bisimulation
弱互模拟
1.
Besides,we introduce the concept of restrict product of transition systems, and take this as a means to study the mutual transition between weak bisimulation and weak invariants.
此外,本文还引入了迁移系统的限制乘积概念,并以此为工具研究了弱互模拟和弱不变量之间的相互转化。
2.
Secondly,this paper introduced the concept of restrict product of transition system, and took this as implement, studied the mutually transition between weak bisimulation and weak invariant.
本文在文献[1]，[2]的框架下，首先，对带不可观察迁移的LTS给出了弱不变量的定义，讨论了其性质及与其它概念(包括弱互模拟、弱同态、不变量等)之间的关系。
5) open-bisimulation
开互模拟
1.
Then, weak open-bisimulation was done to them.
为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。
6) strong bisimilarity
强互模拟
补充资料：钩钩
1.形容鼾声。 2.形容物体的弯曲。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条