Correctness of a distributed deadlock resolution algorithm for the single request model.

Jos Ramn Gonzlez de Mendvil, Akim Demaille, Jos M. Bernabu-Aubn, Jos Ramn Garitagoitia

Browse the full PDP paper archive.