検索内容:
我々は、2つの並行システムが、状態遷移システム同士が互いにシミュレートし合うことを結びつける同値関係において等価であることを検証し、どのような一連のやり取りに対しても同じように応答することを確認した。
研究者たちは複数のビシミュレーションを比較して、どれがシステムの振る舞いの性質を最もよく保持するかを判断した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★