Determinism
Does execution of the algorithm always yield the same otuput?
Remember: Nondeterminism is useful.
- Our model should support both
Task-Channel model makes determinism relatively easy to guarantee.
- Single sender and single receiver
- Receive is blocking.