A Temporal Logic to Deal with Fairness in Transition Systems

Jean-Pierre Queille, Joseph Sifakis

Browse the full FOCS paper archive.