| 意味 | 共起表現 |
「BiSimulation」の共起表現一覧(1語右で並び替え)
該当件数 : 11件
| regards to many definitions of equivalence ( | Bisimulation, Branching bisimulation, Decorated traces) |
| are not visible by external observers, then | bisimulation can be relaxed to be weak bisimulation, in |
| In the π-calculus, the definition of | bisimulation equivalence (also known as bisimilarity) ma |
| , the π-calculus allows for a definition of | bisimulation equivalence. |
| A stutter | bisimulation for TS is |
| So-called branching | bisimulation has to be used. |
| the topics of fairness, program schemas and | bisimulation in concurrent computing. |
| Stutter | bisimulation is defined in a coinductive manner, as bisi |
| In special contexts the notion of | bisimulation is sometimes refined by adding additional r |
| each input are needed in practice, so weak | bisimulation is a congruence. |
| Stuttering equivalence is not the same as | bisimulation, since bisimulation cannot capture the sema |
| 意味 | 共起表現 |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
