On the Temporal Analysis of Fairness.

Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi

Browse the full POPL paper archive.