Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract) | IEEE Conference Publication | IEEE Xplore