(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
bisimulation
我々は、2つの並行システムが、状態遷移システム同士が互いにシミュレートし合うことを結びつける同値関係において等価であることを検証し、どのような一連のやり取りに対しても同じように応答することを確認した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
