My question was not clear.
Suppose one is writing a user or technical guide for TLA. For absolute fairness are there any practical examples one might note?
This question is not about what fairness is or how to choose a fairness flavor ... the question what might are good examples of
unfair processes?
As far as I can see any examples must be few because most software models need weak sometimes strong fairness.
Second, I mentioned SPIN. As you likely know all to well SPIN allows processes to be created in code. This could be important
for motivating practical use of unfair processes. Unfair processes will non-deterministically stop at some point. SPIN can
detect this and run a new copy ... which could be useful to motivate practical examples. But TLA cannot.
Thanks