Correctness of a distributed deadlock resolution algorithm for the single request model
José Ramón González de Mendívil, Akim Demaille, J.B. Auban, José Ramón Garitagoitia · 2002
We consider the problem of the distributed deadlock resolution. Starting from a high level specification of the problem and the resolution algorithm for a system with single request model, we provide successive levels of decreasing abstraction of the initial specification in order to achieve a solution in a complete distributed system. The successive refinements and the final distributed deadlock resolution algorithm are formally described and proved by using the Input/Output Automata Model.>