bisimulation

bisimulation

美 　英

• 网络互模拟；逐步逼近互模拟；模拟的

例句

Bisimulation is often chosen as the equivalence relation in equivalence checking.

在等价验证中，通常选择互模拟作为等价关系。

It also has many merits that weak bisimulation does not have, e. g. , algebraic characterization and modal logic characterization.

它还拥有弱互模拟没有的优点，如代数刻画和模态逻辑刻画。

finally, this paper proves some properties of bisimulation based on this definition.

最后证明在这种定义下，互模拟的一些基本性质。

Compared with weak bisimulation, it preserves all intermediate states in silent transitions, thus it is finer than weak bisimulation;

相较弱互模拟，它保持了系统静态迁移中的中间状态，从而比弱互模拟更细；

uniformity of bisimulation equivalences of chi processes

进程互模拟等价的一致性

Timed Bisimulation over Timed Symbolic Transition Graph

时间符号迁移图及其互模拟判定

Open-bisimulation checking of Web Services combination

Web服务组合的互模拟验证

Bisimulation Checking Algorithms Based on Symbolic Transition Graphs

基于符号迁移图的互模拟验证算法

The Construction and Bisimulation between Two Model of Timed Automata

时间自动机两种模型的构造互模拟研究

A Variant of STGA and Its Bisimulation Checking

STGA的变种及其互模拟验证