/** Concurrency: State Models and Java Programs
 *             Jeff Magee and Jeff Kramer
 *  
 */

COIN    = (toss->heads->COIN|toss->tails->COIN).

progress HEADS = {heads}
progress TAILS = {tails}
