Generalized Fair Termination.

Nissim Francez, Dexter Kozen

Browse the full POPL paper archive.