Generalized fair termination (1984)

by N Francez, D Kozen
Venue:In Proc. 11th POPL