[tlaplus] Practical applications of absolute fairness in software models?

[Shane Miller <gshanemiller6@xxxxxxxxx>]

Most models for software or CSP (concurrent sequential processes) use weak fairness with sporadic use of strong.

Are there examples perhaps for niche problems where unfair (absolute) processes is useful?

Other model checkers (eg. SPIN) allow processes can be created at will in code. TLA doesn't seem to do this. So TLA usage here, if it exists, must surely be for single-shot use?

Regards

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/4e3f4ee6-5696-454c-a5a5-bd2d362732fen%40googlegroups.com.