{"entities":{"Q766163":{"pageid":768012,"ns":120,"title":"Item:Q766163","lastrevid":64169241,"modified":"2026-04-11T18:06:31Z","type":"item","id":"Q766163","labels":{"en":{"language":"en","value":"Nonatomic dual bakery algorithm with bounded tokens"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6018088"}},"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":"Q766163$B577B713-2DD5-4E55-94B6-82A882890810","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f35c5579a30ea027128acda20ac9c0a3e48d8a56","datavalue":{"value":{"text":"Nonatomic dual bakery algorithm with bounded tokens","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q766163$03211DB3-32CD-4688-A13C-B17B591BD27F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb130691dcf59b441757d74ed214d3fc78fb46eb","datavalue":{"value":"1244.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q766163$0C57CD14-F068-42E1-83A6-B44B612AD2D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b3692490246ccde2ef830e0dc271edf40ae0307","datavalue":{"value":{"entity-type":"item","numeric-id":532418,"id":"Q532418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$3556EBD6-DEA3-42C5-80A2-4854510D1EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19214d6ab96c1b95faaaf223b83bab4e859315a","datavalue":{"value":{"entity-type":"item","numeric-id":216155,"id":"Q216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$3AC10ABE-EA14-449D-9912-6DCA9A9C0EBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$A03E51FA-C44D-49DF-8006-4799EEC4D0B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e25ea026da941bf2415d8e8a4c5b808379c44bc1","datavalue":{"value":{"time":"+2012-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q766163$A1BFD22B-5293-44A8-A633-07CF15ACA927","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2d8e5298326ad03b778508bc04752e670bc3d71","datavalue":{"value":"https://pure.rug.nl/ws/files/2523090/2011ActaInfAravind.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q766163$71C97CB1-DB3A-41C7-8EA5-AE895B4F4CCC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"65e8898477be56d5f4035d1a0d17d7473b78a147","datavalue":{"value":"Recent systems such as smart-phones, network processors, graphic chips use memories which allow nonatomic accesses. This paper presents (for the first time) and proves (by using PVS) a mutual exclusion algorithm that only uses nonatomic shared variables. Furthermore, these shared variables are of bounded size.","type":"string"},"datatype":"string"},"type":"statement","id":"Q766163$A1849D72-FDA5-44D2-89F2-407962983C89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q766163$EC704A5B-784D-47F0-8413-ED85170C8A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q766163$A008723A-D3C7-48A3-AAAD-B79C69B44C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q766163$09E5EF83-ED87-44B7-BDC5-2B66AB60E06D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80f437b96fe5620e0eeffbe98531f623abe48988","datavalue":{"value":"6018088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q766163$A5379587-4962-411B-B961-53FC4E9F8294","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"995b00cc7d69ee07cf24da51a3a5485ed2bb2d30","datavalue":{"value":"mutual exclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q766163$F54452A1-BB76-4E35-99B9-8F8A1B7CA28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bad626539edc6878b581a1fbabafff98de0b6cb","datavalue":{"value":"nonatomic shared variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q766163$E30DE15F-5504-4EAF-A7D5-0C6B698ECE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13ea7d03086ac223ecf0dc3b72f2653e489b38f9","datavalue":{"value":"bounded size","type":"string"},"datatype":"string"},"type":"statement","id":"Q766163$5C37DAB2-1F11-4D6A-9B30-A65BC0C81495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cfe28eb7eeeeb7f41f604eaf0ba2d7792aea1c1","datavalue":{"value":"first-come-first-serve","type":"string"},"datatype":"string"},"type":"statement","id":"Q766163$9B7D520A-2C71-4419-B9D6-F36709495D39","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e58c6dffa2cb5b51020de9c6757ee2fa56512d39","datavalue":{"value":{"entity-type":"item","numeric-id":690236,"id":"Q690236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$02F9C939-F8F3-4663-9773-4E054E95D810","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$D606E9FD-B2F6-4839-BC03-2580C0903569","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":"Q766163$7417E200-10FE-4634-A6AA-4ACCA5CE48DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"227945a044c84a943f168080714668b2208914c3","datavalue":{"value":"W2138502430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q766163$63D90006-39D9-4DFF-B9D9-5C14F3668E4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$1E74FF3F-282B-42D8-8D66-87AA1E080A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70da1147bcb0050789e43b01aeabacadb0a230cd","datavalue":{"value":{"entity-type":"item","numeric-id":1323338,"id":"Q1323338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$942138A4-9965-48BC-99E6-93E17A0074BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e9cda558a24065b5e7de0632711952a3d611e0","datavalue":{"value":{"entity-type":"item","numeric-id":1006897,"id":"Q1006897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$66D27B36-10B5-4E2D-9A7A-43761D9A9C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e54947be7d38ea67306ce14a0134a44f0c2e5b","datavalue":{"value":{"entity-type":"item","numeric-id":2482021,"id":"Q2482021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$5900353B-B754-418C-B8E6-CC8FDABFEE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e75746e9671721c8281600c53d4fb2cf256709","datavalue":{"value":{"entity-type":"item","numeric-id":1261108,"id":"Q1261108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$4FCFE5B6-C38F-46F3-AC82-DAFA18190E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e5339ff83980b5bf9fe528abf3cde49cb1b3d53","datavalue":{"value":{"entity-type":"item","numeric-id":4473994,"id":"Q4473994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$7C172DFA-D3B2-466D-8807-23D20EA1C27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901cfd794ca66806f9ce31b8470a28cc88e80c46","datavalue":{"value":{"entity-type":"item","numeric-id":5402544,"id":"Q5402544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$01B88024-F4FE-4B95-B545-E152CF749D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcfb3939ee8fa942d7833e1e0b9b1589e2325e60","datavalue":{"value":{"entity-type":"item","numeric-id":1954193,"id":"Q1954193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$E7C5DBED-10CD-4202-8092-DAA9C7D3945E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79edf1b0816517e52312ed99658f13273c3bc91","datavalue":{"value":{"entity-type":"item","numeric-id":4766565,"id":"Q4766565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$7B780D9A-D917-4D75-88BD-9C56D004793E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1f030dead697569038cbcf88960b24e27f170f","datavalue":{"value":{"entity-type":"item","numeric-id":5903449,"id":"Q5903449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$74EBCBC1-4077-401C-9B11-E930C6F40502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7144f88f122b714c4fda43fd422fea6acbf99688","datavalue":{"value":{"entity-type":"item","numeric-id":1079945,"id":"Q1079945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$C51767AE-127B-4DAE-9F8D-BD7009358A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec785066f721fdcdca6ad8622011c52b3fb6052d","datavalue":{"value":{"entity-type":"item","numeric-id":1158954,"id":"Q1158954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$00E6EC41-480A-454E-9A0F-7C61474225E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3792175673592284d69b20af6976329351f787b","datavalue":{"value":{"entity-type":"item","numeric-id":3964004,"id":"Q3964004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$D6ED7086-F357-4BDB-B0D9-AF96A473E74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75e3a18edd49cf57c4a9a5d5521d887ea9639b7","datavalue":{"value":{"entity-type":"item","numeric-id":3813266,"id":"Q3813266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$C4EDAADB-5164-4486-8021-A1932E4A7F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd54894be2f0df5f0c687d6c40cd01a7ccd75f1","datavalue":{"value":{"entity-type":"item","numeric-id":4808646,"id":"Q4808646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$F2E8CC62-E45F-4E57-8DB1-50B63EA6983B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b4e737372dacc2497f09cc1a2b57f5dc7ac38af","datavalue":{"value":{"entity-type":"item","numeric-id":5464211,"id":"Q5464211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q766163$D7114943-99B7-4D8E-9C87-11F106AE7949","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"695af4591d1c12424f41787bccb406101e0c71d4","datavalue":{"value":"10.1007/S00236-011-0132-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q766163$56D24578-C35F-4A96-974F-60F80C266065","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c515fcf0ff172b5f6b51dc4490a7a808fe2df2","datavalue":{"value":{"entity-type":"item","numeric-id":4808646,"id":"Q4808646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ecd480547938ded4275a5cc3a971d6affdc0d16","datavalue":{"value":{"amount":"+0.7858716249465942","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":"Q766163$59A75D17-8623-4678-AEC1-DF57979838FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1b26ffe7931237ca320d6118752c86eb51a024","datavalue":{"value":{"entity-type":"item","numeric-id":1006897,"id":"Q1006897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b925e6d4511621dc91bdca2c95ee718c5b9fd6d5","datavalue":{"value":{"amount":"+0.7603754997253418","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":"Q766163$D124662D-8FBF-4351-AA5E-C1FA82D0D585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b6c8248c83ef9e4fc1d5d0377c2976dad41d3bb","datavalue":{"value":{"entity-type":"item","numeric-id":5176188,"id":"Q5176188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b039371b4935aeb533938181f28d941841d4dd1e","datavalue":{"value":{"amount":"+0.7581497430801392","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":"Q766163$D92BBB0E-5536-4C8C-AD46-1522429BD5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de5de917a830f47e2341eeeeda49e313c5f94322","datavalue":{"value":{"entity-type":"item","numeric-id":4473994,"id":"Q4473994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d70c2b506d0fd425c05a7f04d7e63bf48d8a26e","datavalue":{"value":{"amount":"+0.7577160000801086","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":"Q766163$78A883DA-62F8-4CC2-99B8-E0B1AB837B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"064603efd7a0ec43f8a734a65ccc5b09ef32e5c4","datavalue":{"value":{"entity-type":"item","numeric-id":2766860,"id":"Q2766860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b3974210f057eeb430d00e21b66d1eb85c82547","datavalue":{"value":{"amount":"+0.7567558884620667","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":"Q766163$10D52B1A-54E0-4532-A323-1B3797232E8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nonatomic dual bakery algorithm with bounded tokens","badges":[]}}}}}