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
hyperconnectivity; excessive connections between neurons in the brain
(intransitive) To make merry; to have fun; to romp; to behave playfully and uninhibitedly. / (transitive, archaic) To cause to be merry.
plural of nullomer
我々は、2つの並行システムが、状態遷移システム同士が互いにシミュレートし合うことを結びつける同値関係において等価であることを検証し、どのような一連のやり取りに対しても同じように応答することを確認した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
