"Verifying liveness for asynchronous programs."

Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics