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

Authors:
J. R. Gonzalez de Mendivil;A. Demaille;J. B. Auban;J. R. Garitagoitia
Affiliations:
-;-;-;-
Venue:
PDP '95 Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing
Year:
1995

Citing 0
Cited 2

A Distributed Deadlock Resolution Algorithm for the AND Model

IEEE Transactions on Parallel and Distributed Systems
On Scalable Synchronization for Distributed Embedded Real-Time Systems

SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.