Initial state
Broken counter
Counter
Scala counter
Fault-tolerant counter
TCP echo server
HTTP echo server
Gabbler: Skeleton
Gabbler: Handle GET
Gabbler: Handle POST
Gabbler: Timeout for Gabblers
Gabbler: State machine