Things bisimilar often describes (“bisimilar ________”)
states,
processes,
divergence
How bisimilar often is described (“________ bisimilar”)
strong,
barbed,
weakly,
full,
probabilistic,
late,
weak,
timed,
open,
applicative,
untimed
Commonly used words are shown in bold. Rare words are dimmed. Click on a word above to view its definition.
Organize by:
[Relation]
Letters
|
Show rare words:
[Yes]
No
|
Show phrases:
[Yes]
No
|
|
|
|
| |