Fairness and Related Properties in Transition Systems — A Temporal Logic to Deal with Fairness (1983)

by Jean-Pierre Queille, Joseph Sifakis
Venue:Acta Informatica