bisimulation meaning in English
双仿
Examples
- Uniformity of bisimulation equivalences of chi processes
进程互模拟等价的一致性 - Quantales and process semantics of bisimulation
与互模拟的进程语义 - Variant of safe ambient calculus and its contextual bisimulation
一种改进的安全环境演算及其行为等价关系研究 - Bisimulation equivalence is considered as one of the fundamental notions of behavioural equivalence , and one of the important properties of bisimulation is its modal logic characterization
互模拟是进程代数中刻画行为等价的核心概念,而模态逻辑特征是它的一个重要性质。 - However , because - bisimulation is not always an equivalence relation , such characterization in the usual style of hml does not always exist for - bisimulation associated with an arbitrary metric
但由于不为超度量时-互模拟一般不为等价关系,所以无法得到一个具有hml经典形式的逻辑特征。