A Testbed of Non-determinism in Educational Context
Milen Loukantchevsky, Nikolay Kostadinov, Hovanes Avakyan · 2019
Non-determinism is a fundamental concept in automata theory, algorithms and parallelism. Dijkstra's guarded commands as well as Hoare's CSP alternative primitives are means for overcome of the intrinsic for parallel systems non-determinism.