15_Nondeterministic_Parallel_Programming.pdf