Things bisimulation often describes (“bisimulation ________”)
semantics
How bisimulation often is described (“________ bisimulation”)
strong,
weak,
barbed,
probabilistic,
largest,
symbolic,
timed,
open,
applicative,
asynchronous,
late,
early,
normal,
markovian,
maximal,
global,
finite,
rooted,
eager,
stochastic,
ordinary,
structural,
greatest,
standard,
based,
typed,
fair,
causal,
branching,
distributed,
vertical,
framed,
smallest,
dynamic,
naive,
downward
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
|
|
|
|
| |