Liveness and Asynchrony

07, CP: Concurrency State Models and Design Patterns