A DISTRIBUTED DEADLOCK DETECTION AND RESOLUTION ALGORITHM AND ITS CORRECTNESS PROOF

被引：8

作者：

ELMAGARMID, AK ^{[1
]}

SOUNDARARAJAN, N ^{[1
]}

LIU, MT ^{[1
]}

机构：

[1] OHIO STATE UNIV,DEPT COMP & INFORMAT SCI,COLUMBUS,OH 43210

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1988年 / 14卷 / 10期

关键词：

Manuscript received April 2; 1986; revised September 16; 1987. This work was supported in part by the National Science Foundation under Grant ECS-8404725. A. K. Elmagarmid is with the Department of Computer Science. Purdue University; West Lafayette. IN 47907. N. Soundararajan and M. T. Liu are with the Department of Computer and Information Science; The Ohio State University. Columbus; OH 43210. IEEE Log Number 8823079;

D O I：

10.1109/32.6189

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：1443 / 1452

页数：10