"Resource-sensitive synchronization inference by abduction."

Matko Botincan, Mike Dodds, Suresh Jagannathan (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics