Choice and Cancellation

Planned post. This page is a stub.

Committing one event while retiring every losing alternative.

Planned Coverage

State atomicity and cancellation properties for competing communication events.

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