Fairness and Related Properties in Transition Systems - A Temporal Logic to Deal with Fairness (0)

by J P Queille, J Sifakis
Venue:Acta Informatica