model: determinism_deadlock
world
<deadlock>
model: determinism_deadlock
world
<non-deterministic>
