Deterministic Parallelism

Explore the concept of removing non-determinism from multi-threaded code to simplify verification.