A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces.

Csar Snchez, Henny B. Sipma, Zohar Manna

Browse the full FASE paper archive.