Nondeterminism Example Model Possible updates Relations
Abstraction Equivalence Simulation Deterministic
Abstraction Nondeterministic Behaviors Theorem Not theorem Uses Bisimulation
Examples
