互模拟（Bisimulation）是说明过程相等的技术手段【3们。因为，互模拟关系 从数学上刻画系统行为等价这个直观概念：系统行为等价是指两个系统（如对象、...
基于52个网页-相关网页
Finally, the strong ground bisimulation and strong bisimulation over a finite subset of Timed π are completely axiomatized.
最后，本文对实时π演算的一个有穷子集上的强实互模拟以及强互模拟均给出了完备的公理化结果。
参考来源 - 带实时的传值与移动系统研究The other notion is the bisimulation relation on sets which is used to decide whether two non-well-founded sets are the same or not.
另一个概念是集合上的互模拟关系,它用于判定两个非良基集合相等。
参考来源 - 非良基集与模态逻辑·2,447,543篇论文数据，部分数据来源于NoteExpress
在等价验证中，通常选择互模拟作为等价关系。
Bisimulation is often chosen as the equivalence relation in equivalence checking.
本文主要研究了域自动机方法、带自动机方法以及基于历史等价和转换互模拟的最小化方法。
In this paper, we research region automata, zone automata and the method of state space minimization based on history equivalence and bisimulation transition.
进程演算通常用来研究交互式反应系统，其中的互模拟方法是用来形式化验证系统属性的重要途径。
Process calculus is usually used to reason about reactive systems, in which bisimulation method is an important way to formally verify the properties of a system.
应用推荐