Safety and Synchronization

03, CP: Concurrency State Models and Design Patterns