Fairness Properties: A fairness property is essentially a liveness property which holds that something good happens infinitely often (for example, a process activated infinitely often during an application execution—each process getting a fair turn).