"Rank Predicates vs. Progress Measures in Concurrent-Program Verification."

Moshe Y. Vardi (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics