en coinduction (n)
― RelatedTo ⟶
Weight: 1.0
en bisimulation Source: English Wiktionary
en bisimilarity (n)
― RelatedTo ⟶
Weight: 1.0
en bisimulation Source: English Wiktionary
en bisimulation (n)
― RelatedTo ⟶
Weight: 1.0
en equivalence relation Source: English Wiktionary
en bisimulation (n)
― RelatedTo ⟶
Weight: 1.0
en state transition system Source: English Wiktionary
en bisimulation (n)
― RelatedTo ⟶
Weight: 1.0
en bisimilar Source: English Wiktionary
en bisimulation (n)
― RelatedTo ⟶
Weight: 1.0
en simulation preorder Source: English Wiktionary
en bisimilar (a)
― RelatedTo ⟶
Weight: 1.0
en bisimulation Source: English Wiktionary
en bisimulations (n)
― RelatedTo ⟶
Weight: 1.0
en bisimulation Source: French Wiktionary