loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
3rd Euromicro Workshop on Parallel and Distributed Processing
Correctness of a distributed deadlock resolution algorithm for the single request model
San Remo, Italy
January 25-January 27
ISBN: 0-8186-7031-2
ASCII Text
x 
 
J.R. Gonzalez de Mendivil, A. Demaille, J.B. Auban, J.R. Garitagoitia, "Correctness of a distributed deadlock resolution algorithm for the single request model," Parallel, Distributed, and Network-Based Processing, Euromicro Conference on, pp. 254, 3rd Euromicro Workshop on Parallel and Distributed Processing, 1995.
 
 
BibTex
x
 
@article{ 10.1109/EMPDP.1995.389136,
author = {J.R. Gonzalez de Mendivil and A. Demaille and J.B. Auban and J.R. Garitagoitia},
title = {Correctness of a distributed deadlock resolution algorithm for the single request model},
journal ={Parallel, Distributed, and Network-Based Processing, Euromicro Conference on},
volume = {0},
year = {1995},
issn = {1066-6192},
pages = {254},
doi = {http://doi.ieeecomputersociety.org/10.1109/EMPDP.1995.389136},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel, Distributed, and Network-Based Processing, Euromicro Conference on
TI - Correctness of a distributed deadlock resolution algorithm for the single request model
SN - 1066-6192
SP
EP
A1 - J.R. Gonzalez de Mendivil,
A1 - A. Demaille,
A1 - J.B. Auban,
A1 - J.R. Garitagoitia,
PY - 1995
KW - distributed algorithms; concurrency control; operating systems (computers); formal specification; automata theory; distributed deadlock resolution algorithm; single request model; high level specification; resolution algorithm; initial specification; complete distributed system; refinements; Input/Output Automata Model
VL - 0
JA - Parallel, Distributed, and Network-Based Processing, Euromicro Conference on
ER -
 
J.R. Gonzalez de Mendivil, Dept. of Electr. & Electron., Univ. of the Basque Country, Bilbao, Spain
A. Demaille, Dept. of Electr. & Electron., Univ. of the Basque Country, Bilbao, Spain
J.B. Auban, Dept. of Electr. & Electron., Univ. of the Basque Country, Bilbao, Spain
J.R. Garitagoitia, Dept. of Electr. & Electron., Univ. of the Basque Country, Bilbao, Spain
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.
Index Terms:
distributed algorithms; concurrency control; operating systems (computers); formal specification; automata theory; distributed deadlock resolution algorithm; single request model; high level specification; resolution algorithm; initial specification; complete distributed system; refinements; Input/Output Automata Model
Citation:
J.R. Gonzalez de Mendivil, A. Demaille, J.B. Auban, J.R. Garitagoitia, "Correctness of a distributed deadlock resolution algorithm for the single request model," pdp, pp.254, 3rd Euromicro Workshop on Parallel and Distributed Processing, 1995
Usage of this product signifies your acceptance of the Terms of Use.