Modeling process-resource activity Footnote†

This work was partially supported by the National Science Foundation under Grant No. MCS74-08328.

References

• Coffman , E.G. , Elphrick , M.T. and Shoshani , A. 1971 . System Deadlocks . ACM Computing Surveys , 3 ( 2 ) June : 67 – 78 .
   Google Scholar
• Denning , P.J. 1971 . Third Generation Computer Systems . ACM Computing Surveys , 3 ( 4 ) Dec : 175 – 216 .
   Google Scholar
• Dijkstra , E.W. 1968 . “ Co-operating Sequential Processes ” . In Programming Langauges , Edited by: Genuys , F. 43 – 112 . Academic Press .
   Google Scholar
• Ellis , C.A. 1973 . On the Probability of Deadlock in Computer Systems . Proceedings of theFourth Symposium on Operating Systems Principles . 1973 , Yorktown Heights, NY. pp. 88 – 95 .
   Google Scholar
• Havender , J.W. 1968 . Avoiding Deadlock in Multi-tasking Systems . IBM Systems Journal , 2 : 74 – 84 .
   Google Scholar
• Holt , R.C. 1972 . Some Deadlock Properties of Computer Systems . ACM Computing Surveys , 4 ( 3 ) September : 179 – 196 .
   Google Scholar
• Osterweil , J.P. 1975 . A Deadlock Model Based on Process-Resource Actions , University of Colorado . M. S. thesis, Department of Computer Science
   Google Scholar