Livelocks in parallel programs

References

• Ashcroft , E.A. 1975 . Proving assertions about parallel programs . J. Comp. Sys. Set , 10 : 110 – 135 .
   Google Scholar
• Courtois , P.J. , Heymans , F. and Parnas , D.L. 1971 . Concurrent control with readers and writers . Comm. ACM , 14 : 667 – 668 .
   Google Scholar
• Dijkstra , E.W. 1965 . Solution of a problem in concurrent programming control . Comm. ACM , 8 : 569
   Web of Science ®Google Scholar
• Dijkstra , E.W. 1971 . Hierarchical ordering of sequential processes . Ada Informatica , 1 : 115 – 138 .
   Google Scholar
• Holt , R.C. 1971 . Comments on prevention of system deadlocks . Comm. ACM , 14 : 36 – 38 .
   Web of Science ®Google Scholar
• Karp , R.M. and Miller , R.E. 1969 . Parallel program schemata . J. Comp. Sys. Sci , 3 : 147 – 195 .
   Google Scholar
• Keller , R.M. 1973 . Parallel program schemata and maximal parallelism . J. ACM , 20 : 514 – 537 .
   Google Scholar
• Keller , R.M. 1976 . Formal verification of parallel programs . Comm. ACM , 19 : 371 – 384 .
   Google Scholar
• Knuth , D.E. 1966 . Additional comments on a problem in concurrent programming control . Comm. ACM , 9 : 321 – 322 .
   Google Scholar
• Kwong , Y.S. 1978 . “ On reductions and livelocks in asynchronous parallel computation ” . In Ph.D. Dissertation , Vol. 9 , Priceton Unversity .
   Google Scholar
• Kwong , Y.S. 1978 . Livelocks in parallel programs, part 2: Proof techniques . International Journal of Computer Mathematics , 9
   Google Scholar
• Lamport , L. 1977 . Proving the correctness of multiprocess programs . IEEE Trans. Software Engineering , 32 : 125 – 143 .
   Google Scholar
• Lamsweerde , A. Van and Sintzoff , M. 1979 . Formal derivation of strongly correct parallel programs . Acta Informatica , 12 : 1 – 31 .
   Google Scholar
• Slutz , D. 1968 . The flow graph schemata model of parallel computation . Rep. MAC-TR-53,MIT Project MAC , 12
   Google Scholar