{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:51Z","timestamp":1725455991002},"publisher-location":"Berlin\/Heidelberg","reference-count":19,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354009511X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022469","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T00:24:08Z","timestamp":1132705448000},"page":"172-190","source":"Crossref","is-referenced-by-count":13,"title":["On the absence of livelocks in parallel programs"],"prefix":"10.1007","author":[{"given":"Y. S.","family":"Kwong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1016\/S0022-0000(75)80018-3","volume":"10","author":"E. A. Ashcroft","year":"1975","unstructured":"Ashcroft, E. A.: Proving assertions about parallel programs. J. Comp. Sys. Sci., 10, 1 (Jan., 1975), 110\u2013135.","journal-title":"J. Comp. Sys. Sci."},{"issue":"10","key":"10_CR2","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1145\/362759.362813","volume":"14","author":"P. J. Courtois","year":"1971","unstructured":"Courtois, P. J., Heymans, F. and Parnas, D. L.: Concurrent control with \"readers\" and \"writers.\" Comm. ACM, 14, 10 (Oct., 1971), 667\u2013668.","journal-title":"Comm. ACM"},{"issue":"9","key":"10_CR3","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1145\/365559.365617","volume":"8","author":"E. W. Dijkstra","year":"1965","unstructured":"Dijkstra, E. W.: Solution of a problem in concurrent programming control. Comm. ACM, 8, 9 (Sept., 1965), 569.","journal-title":"Comm. ACM"},{"issue":"2","key":"10_CR4","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF00289519","volume":"1","author":"E. W. Dijkstra","year":"1971","unstructured":"Dijkstra, E. W.: Hierarchical ordering of sequential processes. Acta Informatica, 1, 2(Oct., 1971), 115\u2013138.","journal-title":"Acta Informatica"},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume":"19","author":"R. W. Floyd","year":"1967","unstructured":"Floyd, R. W.: Assigning meanings to programs. Proc. Symp. in Applied Math., 19, American Math. Society (1967), 19\u201332.","journal-title":"Proc. Symp. in Applied Math."},{"issue":"1","key":"10_CR6","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/362452.362486","volume":"14","author":"R. C. Holt","year":"1971","unstructured":"Holt, R. C.: Comments on prevention of system deadlocks. Comm. ACM, 14, 1(Jan., 1971), 36\u201338.","journal-title":"Comm. ACM"},{"key":"10_CR7","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"R. M. Karp","year":"1969","unstructured":"Karp, R. M. and Miller R. E.: Parallel program schemata. J. Comp. Sys. Sci., 3(May, 1969), 147\u2013195.","journal-title":"J. Comp. Sys. Sci."},{"issue":"3","key":"10_CR8","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1145\/321765.321782","volume":"20","author":"R. M. Keller","year":"1973","unstructured":"Keller, R. M.: Parallel program schemata and maximal parallelism. J. ACM, 20, 3(July, 1973), 514\u2013537; and J. ACM, 20, 4(Oct., 1973), 696\u2013710.","journal-title":"J. ACM"},{"key":"10_CR9","volume-title":"A fundamental theorem of asynchronous parallel computation. Parallel Processing","author":"R. M. Keller","year":"1975","unstructured":"Keller, R. M.: A fundamental theorem of asynchronous parallel computation. Parallel Processing, T. Y. Feng (ed.), Springer-Verlag, Berlin (1975)."},{"issue":"7","key":"10_CR10","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"R. M. Keller","year":"1976","unstructured":"Keller, R. M.: Formal verification of parallel programs. Comm. ACM, 19, 7(July, 1976), 371\u2013384.","journal-title":"Comm. ACM"},{"issue":"5","key":"10_CR11","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1145\/355592.365595","volume":"9","author":"D. E. Knuth","year":"1966","unstructured":"Knuth, D. E.: Additional comments on a problem in concurrent programming control. Comm. ACM, 9, 5(May, 1966), 321\u2013322.","journal-title":"Comm. ACM"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0304-3975(77)90041-X","volume":"5","author":"Y. S. Kwong","year":"1977","unstructured":"Kwong, Y. S.: On reduction of asynchronous systems. Theoretical Computer Science, 5(1977), 25\u201350.","journal-title":"Theoretical Computer Science"},{"key":"10_CR13","unstructured":"Kwong, Y. S.: On reductions and livelocks in asynchronous parallel computation. Ph.D. Dissertation, Dept. of Electrical Engineering and Computer Science, Princeton University, Princeton, N. J. 08540 (1978)."},{"key":"10_CR14","unstructured":"Kwong, Y. S.: Livelocks in parallel programs. Parts I and II. Technical reports 78-CS-15 & 16. Dept. of Applied Math., McMaster University (August, 1978)."},{"issue":"2","key":"10_CR15","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"SE-3","author":"L. Lamport","year":"1977","unstructured":"Lamport, L.: Proving the correctness of multiprocess program. IEEE Trans. Software Engineering, SE-3, 2(March, 1977), 125\u2013143.","journal-title":"IEEE Trans. Software Engineering"},{"key":"10_CR16","unstructured":"van Lamsweerde, A. and Sintzoff, M.: Formal derivation of strongly correct parallel programs. Report R338, M.B.L.E. Research Laboratory, Brussel, Belgium (Oct., 1976)."},{"issue":"12","key":"10_CR17","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1145\/361227.361234","volume":"18","author":"R. J. Lipton","year":"1975","unstructured":"Lipton, R. J.: Reduction: A method of proving properties of parallel programs. Comm. ACM, 18, 12(Dec., 1975), 717\u2013721.","journal-title":"Comm. ACM"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(76)90032-3","volume":"2","author":"B. K. Rosen","year":"1976","unstructured":"Rosen, B. K.: Correctness of parallel programs: The Church-Rosser approach. Theoretical Computer Science, 2(1976), 183\u2013207.","journal-title":"Theoretical Computer Science"},{"key":"10_CR19","unstructured":"Slutz, D.: The flow graph schemata model of parallel computation. Rep. MAC-TR-53 (Thesis), MIT project MAC (Sept., 1968)."}],"container-title":["Lecture Notes in Computer Science","Semantics of Concurrent Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022469.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:48:35Z","timestamp":1607532515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022469"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354009511X"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0022469","relation":{},"subject":[]}}