Proving nondeterministically specified safety properties using progress measuresNils KlarlundFred B. Schneider1993Information and ComputationPaper
Progress measures and stack assertions for fair terminationNils Klarlund1992PODC 1992Conference paper
Progress measures, immediate determinacy, and a subset construction for tree automataNils Klarlund1992LICS 1992Conference paper
Progress measures for complementation ω-automata with applications to temporal logicNils Klarlund1991FOCS 1991Conference paper
Rabin measures and their applications to fairness and automata theoryNils KlarlundDexter Kozen1991LICS 1991Conference paper