Return to Article Details Generalizations of Liveness and Fairness Properties Download Download PDF