{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:00:33Z","timestamp":1725642033463},"publisher-location":"London","reference-count":19,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199823"},{"type":"electronic","value":"9781447130789"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3078-9_14","type":"book-chapter","created":{"date-parts":[[2011,12,12]],"date-time":"2011-12-12T02:47:45Z","timestamp":1323658065000},"page":"205-219","source":"Crossref","is-referenced-by-count":13,"title":["Message passing mutex"],"prefix":"10.1007","author":[{"given":"Ekkart","family":"Kindler","sequence":"first","affiliation":[]},{"given":"Rolf","family":"Walter","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"Springer-Verlag","author":"KR Apt","year":"1994","unstructured":"K. R. Apt and E. R. Olderog. Programmverifikation. Springer-Verlag, 1994."},{"key":"14_CR2","volume-title":"Prentice Hall","author":"M Ben-Ari","year":"1993","unstructured":"M. Ben-Ari. Mathematical Logic for Computer Science. Prentice Hall, 1993."},{"unstructured":"E. Best. Representing a program invariant as a linear invariant in a Petri net. EATCS Bulletin, (17): 2\u201311, June 1982.","key":"14_CR3"},{"key":"14_CR4","volume-title":"Vieweg-Verlag","author":"E Best","year":"1995","unstructured":"E. Best. Semantik. Vieweg-Verlag, 1995."},{"key":"14_CR5","volume-title":"Springer-Verlag","author":"E Best","year":"1988","unstructured":"E. Best and C. Fern\u00e1ndez. Nonsequential Processes, volume 13 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1988."},{"key":"14_CR6","volume-title":"Addison-Wesley","author":"KM Chandy","year":"1988","unstructured":"K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988."},{"issue":"9","key":"14_CR7","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1145\/365559.365617","volume":"8","author":"E Dijkstra","year":"1965","unstructured":"E. Dijkstra. Solution of a problem in concurrent programming control. Communication of the ACM, 8 (9): 569, 1965.","journal-title":"Communication of the ACM"},{"issue":"45","key":"14_CR8","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1016\/0020-0190(80)90141-6","volume":"10","author":"RW Doran","year":"1980","unstructured":"R. W. Doran and L. K. Thomas. Variants of the sofware solutions to mutual exclusion. Information Processing Letters, 10 (4,5): 206\u2013208, 1980.","journal-title":"Information Processing Letters"},{"issue":"5","key":"14_CR9","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1145\/355592.365595","volume":"9","author":"DE Knuth","year":"1966","unstructured":"D.E. Knuth. Additional comments on a problem in concurrent programming control. Communications of the ACM, 9 (5): 321\u2013322, 1966.","journal-title":"Communications of the ACM"},{"issue":"7","key":"14_CR10","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/361082.361093","volume":"21","author":"L Lamport","year":"1974","unstructured":"L. Lamport. A new solution to Dijkstra\u2019s concurrent programming problem. Communications of the ACM, 21 (7): 453\u2013455, 1974.","journal-title":"Communications of the ACM"},{"key":"14_CR11","first-page":"287","volume-title":"M. Broy, editor, Programm Design Calculi, volume 118 of NATO ASI Series F","author":"Z Manna","year":"1992","unstructured":"Z. Manna and A. Pnueli. A temporal proof methodology for reactive systems. In M. Broy, editor, Programm Design Calculi, volume 118 of NATO ASI Series F, pages 287\u2013323, 1992."},{"issue":"3","key":"14_CR12","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/357172.357178","volume":"4","author":"S Owicki","year":"1982","unstructured":"S. Owicki and L. Lamport. Proving liveness properties of concurrent programs. ACM Transactions on Programming Languages and Systems, 4 (3): 455\u2013495, July 1982.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"14_CR13","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0020-0190(81)90106-X","volume":"12","author":"GL Peterson","year":"1981","unstructured":"G.L. Peterson. Myths about the mutual exclusion problem. Information Processing Letters, 12 (3): 115\u2013116, 1981.","journal-title":"Information Processing Letters"},{"key":"14_CR14","volume-title":"The MIT Press","author":"M Raynal","year":"1986","unstructured":"M. Raynal. Algorithms for Mutual Exclusion. The MIT Press, 1986."},{"key":"14_CR15","volume-title":"Humboldt-University of Berlin","author":"W Reisig","year":"1994","unstructured":"W. Reisig. Correctness proofs of distributed algorithms. Informatik- Bericht 38, Humboldt-University of Berlin, 1994."},{"key":"14_CR16","volume-title":"Springer-Verlag","author":"W Reisig","year":"1982","unstructured":"W. Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1982."},{"key":"14_CR17","first-page":"26","volume-title":"Petri Nets: Central Models and Their Properties, volume 254 of LNCS","author":"PS Thiagarajan","year":"1986","unstructured":"P.S. Thiagarajan. Elementary net systems. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Central Models and Their Properties, volume 254 of LNCS, pages 26\u201359. Springer-Verlag, September 1986."},{"key":"14_CR18","volume-title":"Springer-Verlag","author":"JLA Snepscheut van de","year":"1993","unstructured":"J. L. A. van de Snepscheut. What Computing is all about. Springer-Verlag, 1993."},{"doi-asserted-by":"crossref","unstructured":"D. J. Walker. Automated analysis of mutual exclusion algorithms using CCS. Formal Aspects of Computing, (l): 273\u2013292, 1989.","key":"14_CR19","DOI":"10.1007\/BF01887209"}],"container-title":["Workshops in Computing","Structures in Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3078-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T14:51:06Z","timestamp":1555858266000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3078-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199823","9781447130789"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3078-9_14","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}