Efficient distributed deadlock avoidance with liveness guarantees.

Csar Snchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill

Browse the full EMSOFT paper archive.