On the temporal analysis of fairness (0)

by D Gabbay, A Pnueli, S Shelah, J Stavi
Venue:In ACM Symposium on Principles of Programming Languages