A safe algorithm for resolving OR deadlocks | IEEE Journals & Magazine | IEEE Xplore