Synchronous Message Passing

Planned post. This page is a stub.

Rendezvous, blocking, and communication traces.

Planned Coverage

Specify when a send and receive commit and what happens to both participants.

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