{"entities":{"Q1190517":{"pageid":1201266,"ns":120,"title":"Item:Q1190517","lastrevid":66518082,"modified":"2026-04-12T10:37:08Z","type":"item","id":"Q1190517","labels":{"en":{"language":"en","value":"A distributed self-stabilizing solution to the dining philosophers problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 55566"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190517$BFFA5E95-E7BB-4882-90A2-63CC0C73D525","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa1960188f8ce2a281ca6ff6cccc5a67fbec3d99","datavalue":{"value":{"text":"A distributed self-stabilizing solution to the dining philosophers problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1190517$0F98E4CC-5FE8-4FEE-83F1-B186C6AD1BDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e12ecc1d976bd728ced12cd8f80cc727ce694709","datavalue":{"value":"0749.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190517$B4CEE06F-5991-413B-8505-5EEB7A1DFB54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84f4edb00ff2907dcd509bb6477fda3b73877165","datavalue":{"value":"10.1016/0020-0190(92)90182-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190517$9DE0E152-FEC3-484C-B46B-81A13437DED4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c40f269cbf860ea1229ec6171947d1b487c44675","datavalue":{"value":{"entity-type":"item","numeric-id":1190515,"id":"Q1190515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190517$D231A299-FE5A-42C1-90F0-39D845F3D1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"284b1b00c492a5c3a4890736abd8ba7f3aae6991","datavalue":{"value":{"entity-type":"item","numeric-id":1190516,"id":"Q1190516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190517$5F2C079E-C70D-4862-B4FB-7E3ACA246FA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190517$A3D82388-C648-4AB2-B817-44E1EB8CC428","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1190517$1CBDB64B-5608-4DC0-B614-B4B410BCC3DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4f823f6d64c45e30d03ac013313ec5028a16dc4f","datavalue":{"value":"We will describe a self-stabilizing dining philosophers algorithm. Our work was inspired by the self-stabilizing dining philosophers algorithm presented by \\textit{M. G. Gouda} [The stabilizing philosopher: asymmetry by memory and by action, Tech. Rept. TR-87-12, University of Texas at Austin (1987)]. In Gouda's solution, one of the philosophers is required to behave differently than the others in order to introduce asymmetry. In our solution, asymmetry is introduced by the token circling the ring of philosophers; our philosophers all execute exactly the same algorithm. Only the token system requires asymmetry. This layering is very similar to the idea of protocol superimposition as described by \\textit{S. Katz} and \\textit{K. J. Perry} [Distrib. Comput. 7, No. 1, 17--26 (1993; Zbl 1282.68077)]. The layering approach simplifies the transitions required by the philosophers versus those required by \\textit{Gouda}.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190517$8C8FCFCB-F6BA-4E77-ACB9-AE8F425A0098","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190517$06A2FF11-C326-49A3-A341-BEED542D1F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190517$6046924F-535C-4DAD-96BD-C54EC22F9136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190517$3E0AFC75-4EED-41B0-A335-3009DFEE478E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d6c7bd099b1d0cba7eaccfe977a350bb1124f55","datavalue":{"value":"55566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190517$AA019176-215E-437F-ACA0-36345BD12233","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190517$C22142A9-DE24-4E34-AD52-EA85934257D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b36d924addd0d2f364b26835d91730b673a9f92","datavalue":{"value":"distributed computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190517$5DD74A2A-1591-4BA5-8814-0B60C00BE9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b01b02968c48df9f6d634df64bea355af4ca03","datavalue":{"value":"fault tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190517$FCC5B8ED-3ABC-4C30-8063-9B2D8DC40837","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190517$F80D9208-77E6-40CF-AF5D-96E5AC056239","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d0be3cb2a3ebb8e20ab0a3188cab8a0ecf1e408","datavalue":{"value":{"entity-type":"item","numeric-id":5375479,"id":"Q5375479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190517$02B88EDE-5728-4A7C-B329-872FEAAB4E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d12f8afec80d580fd3540214c5cb5db207ecb9","datavalue":{"value":{"entity-type":"item","numeric-id":1098276,"id":"Q1098276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190517$98C87BAA-A90A-4BC8-9CD1-BBBD366B40D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a8eb34c519834b5b923e52b9f7343a721bfe4a","datavalue":{"value":{"entity-type":"item","numeric-id":4061976,"id":"Q4061976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190517$842F72B9-D859-4377-9C45-8DFD64EC79A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"220f4e0531f0caf6e9fe97041ea0e3bdadae7e3f","datavalue":{"value":"https://doi.org/10.1016/0020-0190(92)90182-u","type":"string"},"datatype":"url"},"type":"statement","id":"Q1190517$688FF31D-46F5-410C-A9E4-0DA7939C6B27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb887e4e783f9c5acf38796b1c91088a2859431c","datavalue":{"value":"W2055073543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190517$5B71F469-DED0-4F89-BB0C-0AB37F439817","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81da196414e3aa6e731cdd658db0fd7c96c9ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":1041771,"id":"Q1041771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4c339bde6a6abef32837252ac12ef060d6cb3f5","datavalue":{"value":{"amount":"+0.8101240396499634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1190517$AA8B27A1-BFAE-42A8-B063-D86ECBA6AD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a8073a30f177e8fe4ad46205b4382c448dc230","datavalue":{"value":{"entity-type":"item","numeric-id":1100887,"id":"Q1100887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d829394231c6e3a5c9aad94b5ed0f96cc22c0d6","datavalue":{"value":{"amount":"+0.7481781840324402","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1190517$162A12A5-9711-49B8-8371-1339899615A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"008ee4262e30c08f047d9b0d0a50141e26e2a6e6","datavalue":{"value":{"entity-type":"item","numeric-id":2787669,"id":"Q2787669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60e4411006677a692e641b84f67c8dc728114d48","datavalue":{"value":{"amount":"+0.7460697293281555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1190517$51084C01-CA26-47DA-8F17-A21E875D2351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8737692ec513d57ede62015f43ee19e1d86deef2","datavalue":{"value":{"entity-type":"item","numeric-id":3149884,"id":"Q3149884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1269f0d21a4da8f415b19a92d271afd6ef66212c","datavalue":{"value":{"amount":"+0.7177603840827942","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1190517$63C61572-6CA5-4060-ACB0-DCC0BF10B780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bab52e473c4a98336c398bd356c34ecfd3e4582","datavalue":{"value":{"entity-type":"item","numeric-id":5136988,"id":"Q5136988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a5e327a505d9b36e0eb75e630ed5bef84b7c25","datavalue":{"value":{"amount":"+0.7037990689277649","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1190517$5FC47C5B-DF23-4FA8-86F0-96B86BC83D7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A distributed self-stabilizing solution to the dining philosophers problem","badges":[]}}}}}