Simulation of Non-Determinism