Two Simple Deadlock Prevention Policies for - Based on Key-Resource/Operation-Place Pairs | IEEE Journals & Magazine | IEEE Xplore