Liveness and Guarded Methods

05, CP: Concurrency State Models and Design Patterns