{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:20:44Z","timestamp":1762100444672},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1993,7,1]],"date-time":"1993-07-01T00:00:00Z","timestamp":741484800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib Comput"],"published-print":{"date-parts":[[1993,7]]},"DOI":"10.1007\/bf02242711","type":"journal-article","created":{"date-parts":[[2005,11,15]],"date-time":"2005-11-15T07:33:59Z","timestamp":1132040039000},"page":"233-244","source":"Crossref","is-referenced-by-count":20,"title":["A modular drinking philosophers algorithm"],"prefix":"10.1007","volume":"6","author":[{"given":"Jennifer L.","family":"Welch","sequence":"first","affiliation":[]},{"given":"Nancy A.","family":"Lynch","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02242711_CR1","doi-asserted-by":"crossref","unstructured":"Awerbuch B, Saks M: A dining philosophers algorithm with polynomial response time. Proc 31st IEEE Symposium on Foundations of Computer Science, pp 65\u201374 (1990)","DOI":"10.1109\/FSCS.1990.89525"},{"issue":"4","key":"BF02242711_CR2","doi-asserted-by":"crossref","first-page":"632","DOI":"10.1145\/1780.1804","volume":"6","author":"KM Chandy","year":"1984","unstructured":"Chandy KM, Misra J: The drinking philosophers problem. ACM Trans Program Lang Syst 6 (4):632\u2013646 (1984)","journal-title":"ACM Trans Program Lang Syst"},{"key":"BF02242711_CR3","doi-asserted-by":"crossref","unstructured":"Choy M, Singh AK: Efficient fault-tolerant algorithms for resource allocation in distributed systems. Proc 24th ACM Symp Theo Comput, pp 593\u2013602 (1992)","DOI":"10.1145\/129712.129770"},{"issue":"2","key":"BF02242711_CR4","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF00289519","volume":"1","author":"EW Dijkstra","year":"1971","unstructured":"Dijkstra EW: Hierarchical ordering of sequential processes. Acta Inf 1 (2):115\u2013138 (1971)","journal-title":"Acta Inf"},{"key":"BF02242711_CR5","series-title":"Lect Comput Sci","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/3-540-51687-5_34","volume-title":"Proc 3rd International Workshop on Distributed Algorithms","author":"D Ginat","year":"1989","unstructured":"Ginat D, Shankar AU, Agrawala AK: An efficient solution to the drinking philosophers problem and its extensions. Proc 3rd International Workshop on Distributed Algorithms. Lect Comput Sci, vol 392. Springer, Berlin Heidelberg New York 1989, pp 83\u201393"},{"key":"BF02242711_CR6","doi-asserted-by":"crossref","unstructured":"Lehmann D, Rabin M: On the advantages of free choice: a symmetric and fully distributed solution to the dining philosophers problem. Proc 8th ACM Symposium on Principles of Programming Languages, pp 133\u2013138 (1981)","DOI":"10.1145\/567532.567547"},{"issue":"2","key":"BF02242711_CR7","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1016\/0022-0000(81)90015-5","volume":"23","author":"NA Lynch","year":"1981","unstructured":"Lynch NA: Upper bounds for static resource allocation in a distributed system. J Comput Syst Sci 23 (2):254\u2013278 (1981)","journal-title":"J Comput Syst Sci"},{"key":"BF02242711_CR8","unstructured":"Lynch NA, Tuttle MR: Hierarchical correctness proofs for distributed algorithms. Proc 6th ACM Symposium on Principles of Distributed Computing, pp 137\u2013151 (1987). (Also available as Technical Report MIT\/LCS\/TR-387. Laboratory for Computer Science, Massachusetts Institute of Technology, April 1987.)"},{"issue":"1","key":"BF02242711_CR9","first-page":"178","volume":"10","author":"SL Murphy","year":"1988","unstructured":"Murphy SL, Shankar AU: A note on the drinking philosophers problem. ACM Trans Program Lang Syst 10(1):178\u2013188 (1988)","journal-title":"ACM Trans Program Lang Syst"},{"key":"BF02242711_CR10","doi-asserted-by":"crossref","unstructured":"Peterson GL, Fischer MJ: Economical solutions for the critical section problem in a distributed system. Proc 9th ACM Symposium on Theory of Computing, pp 91\u201397 (1977)","DOI":"10.1145\/800105.803398"},{"key":"BF02242711_CR11","unstructured":"Singh AK: Ranking in distributed systems. Ph.D. dissertation. Department of Computer Sciences, University of Texas at Austin, 1989"},{"key":"BF02242711_CR12","unstructured":"Singh AK, Gouda MG: Rankers: a classification of synchronization problems. manuscript"},{"key":"BF02242711_CR13","unstructured":"Welch JL: Topics in distributed computing: the impact of partial synchrony, and modular decomposition of algorithms. Ph.D. thesis. Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 1988"},{"key":"BF02242711_CR14","doi-asserted-by":"crossref","unstructured":"Welch JL, Lynch NA: Synthesis of efficient drinking philosophers algorithms. Technical Memorandum MIT\/LCS\/TM-417. Laboratory for Computer Science, Massachusetts Institute of Technology, 1989","DOI":"10.21236\/ADA216390"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02242711.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02242711\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02242711","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T22:32:18Z","timestamp":1586557938000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02242711"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,7]]},"references-count":14,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1993,7]]}},"alternative-id":["BF02242711"],"URL":"https:\/\/doi.org\/10.1007\/bf02242711","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,7]]}}}