Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems | IEEE Journals & Magazine | IEEE Xplore