A scalable, sound, eventuallycomplete algorithm for deadlock immunity (2008)

by H Jula, G Candea
Venue:In Proc. 8th Workshop on Runtime Verification