Its non deterministic on purpose because thats how its required to be to fit the model of CSP (communicating sequential processes)