Reasoning about fair concurrent programs (1986)

by Constantin Courcoubetis, Moshe Y Vardi, Pierre Wolper
Venue:In Proceedings of the eighteenth annual ACM symposium on Theory of computing, STOC ’86