Nondeterminism

Planned post. This page is a stub.

How a deterministic scheduler implements a specification permitting many behaviors.

Planned Coverage

Distinguish permitted behavior, implementation policy, and fairness.

Examples, definitions, and exercises will be developed here as the course progresses. See the course table of contents for the suggested reading order.