Safety Patterns

04, CP: Concurrency State Models and Design Patterns