Fairness and Optimism

09, CP: Concurrency State Models and Design Patterns