Examples
Tic Tac Toe
A classical tic tac toe game meant to be played by two different players.
Ticket Booking
A system for booking seats of a theater. Illustrates controled non-determinism using races.
Voting System
Illustrattes timeout, races and mutual exclusion (to avoid duplicate votes).