English Dictionary

bisimulation

名詞

(logic) an equivalence relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other and vice-versa

日本語の意味

状態遷移システムにおける、互いに模倣可能な等価性の関係。すなわち、一方のシステムが他方を模倣し、逆もまた成立する状態を意味する。

We verified that the two concurrent systems are equivalent under bisimulation, ensuring they respond identically to any sequence of interactions.

我々は、2つの並行システムが、状態遷移システム同士が互いにシミュレートし合うことを結びつける同値関係において等価であることを検証し、どのような一連のやり取りに対しても同じように応答することを確認した。

意味（1）

(logic) an equivalence relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other and vice-versa

bisimulations （ plural ）