{"entities":{"Q551164":{"pageid":552931,"ns":120,"title":"Item:Q551164","lastrevid":62689011,"modified":"2026-04-11T07:47:22Z","type":"item","id":"Q551164","labels":{"en":{"language":"en","value":"Dynamic FTSS in asynchronous systems: the case of unison"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5920422"}},"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":"Q551164$038C35C9-E65C-4057-AFE8-788693E7168B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bd2d740580fcdf33149c871755304a2995c6958","datavalue":{"value":{"text":"Dynamic FTSS in asynchronous systems: the case of unison","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q551164$33DB1913-9FD6-4283-8A31-B156702782EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0daa058581793dbe0c78fb7d45ba002b4ca76547","datavalue":{"value":"1223.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551164$BF307B0C-1E02-4A36-A2E9-513080B14422","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99f4c016d030a90c6cecfa6231e652af24547d4f","datavalue":{"value":{"entity-type":"item","numeric-id":391255,"id":"Q391255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$4356BD92-9634-43A6-8438-0A0F21BE0EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f7ce0df2637ce7dff579f312e73e86214e405ac","datavalue":{"value":{"entity-type":"item","numeric-id":300241,"id":"Q300241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$F385A651-B9DE-4540-A6A4-AB09E354813A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58b248b9dda75b59e7590df3fd870785759dd647","datavalue":{"value":{"entity-type":"item","numeric-id":635329,"id":"Q635329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$929D79BF-8058-4E90-89D8-CCF20D252C6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$132A2CDA-2C56-4D94-B083-AF54EB1E6EFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cb91b61275a9337dc0b3da1b4e47e94aca6afd0","datavalue":{"value":{"time":"+2011-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q551164$E7774866-0CD7-41D7-A7E9-1D92F0BC6914","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a58a24bb547d830ff6532420c56b04ced728be6","datavalue":{"value":"https://arxiv.org/abs/0904.4615","type":"string"},"datatype":"url"},"type":"statement","id":"Q551164$ACEEF0DF-237A-4ECA-99EC-2DD16C1F740E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"620a5845f05137814bd5c23ae83083a5882944bc","datavalue":{"value":"The paper analyzes the protocols for fault-tolerant self-stabilizing in asynchronous systems for dynamic tasks that require safety and liveness properties. In particular, the unison problem is considered, a type of local clock synchronization problem. The authors prove that whenever two or more crash faults may occur, deterministic solutions are impossible in any asynchronous setting. The main contribution of the paper is the characterization of two key properties satisfied by all self-stabilizing asynchronous unison protocols, namely minimality and priority. Moreover, a universal fault-tolerant self-stabilizing protocol is introduced for connected networks of maximum degree at most two. The new protocol satisfies the minimality and priority properties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q551164$681FD796-725E-479E-A553-0127E96DAC65","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2f9e16b52bc8c390b9fea0fb31de1975133dd070","datavalue":{"value":{"entity-type":"item","numeric-id":455938,"id":"Q455938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$00D47667-E39D-4D18-B083-2FC3B4C9A51C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551164$B7359DAF-D598-44C6-A489-BD2454BC688C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551164$60E43022-2E0C-4DC9-8EB8-1D80205D376B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551164$45E46368-8348-4F4B-9888-5A854E3F3F12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c750b0756538333aed1d156ee4f73a06e20d782","datavalue":{"value":"5920422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551164$7BCC0FFA-59BC-4E74-B6F0-5DAAA0EB19A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30e18b5f74879d022f2f865fc8c3928cd3c59ce0","datavalue":{"value":"distributed algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q551164$67CAA2F0-12D8-4B0E-BD87-4528AAEFD9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e1050664f45c7b1640e00827efd234ba9089a7c","datavalue":{"value":"asynchronous systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q551164$DF3C0D24-C4A3-4AF9-A51C-30064723D3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b01b02968c48df9f6d634df64bea355af4ca03","datavalue":{"value":"fault tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q551164$3F9D856B-7A21-4BE4-8593-921BC39AD2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5037dad296a241cfa4d4139d1f63309727fd86f","datavalue":{"value":"self-stabilization","type":"string"},"datatype":"string"},"type":"statement","id":"Q551164$BE05A264-1655-4678-B1C7-C8E55712D6D1","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":"Q551164$27AF4F9A-ED3E-4E9C-98FA-9D9F928992D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7cf093551019ef42f1ef8bfc6446ef7c4ff4f55","datavalue":{"value":"W2055941918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551164$6BA3D610-5E38-49C3-A40E-034A1188EE60","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d42f3cb3cd883c98f92099f55b28e76ef64adf8","datavalue":{"value":{"entity-type":"item","numeric-id":2934362,"id":"Q2934362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$102864BD-5C9B-4A73-B42E-02B9FCCD86D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"721649eb18a7efdb3da63ddc020d9140d1f43658","datavalue":{"value":{"entity-type":"item","numeric-id":5501494,"id":"Q5501494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$8AB6C683-EF94-41A0-99C9-42787D6353D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c75e1ad8f6fa8d6497c416b6d010ade61926661","datavalue":{"value":{"entity-type":"item","numeric-id":5307030,"id":"Q5307030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$EF2EE0F0-8EAF-4E23-B7A9-241B77077582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcee1db24402c7db09791390be9abdd16b8e3440","datavalue":{"value":{"entity-type":"item","numeric-id":2947955,"id":"Q2947955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$98282721-9109-4D13-A6EF-D71E2041A160","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":"Q551164$B17CBD3D-70C1-45B9-9A59-C10EF58234B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cce6af953b68bbfe0644d2b7ffae6df24a228bf","datavalue":{"value":{"entity-type":"item","numeric-id":3523208,"id":"Q3523208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$644A5A4B-5A2A-4916-A1F3-2DC75EDBED2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e230b3728d10ba582373bbcad97e70c9be621d32","datavalue":{"value":{"entity-type":"item","numeric-id":2782251,"id":"Q2782251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$6C018F1F-3321-4657-9097-04159206F6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8876e258f5ba2b1bffde3475b84087dc268831a2","datavalue":{"value":{"entity-type":"item","numeric-id":1361415,"id":"Q1361415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$068D115C-B7A2-4B17-97BF-EC863E03A979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6447e72483c465cc63208d785906ce97bc8ff61e","datavalue":{"value":{"entity-type":"item","numeric-id":3069909,"id":"Q3069909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$CD8636D2-7C5D-4F6B-AB37-C8C25D22C62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0589dd436aea3e11dc38499d80d51aa1ebd2c5a3","datavalue":{"value":{"entity-type":"item","numeric-id":3588325,"id":"Q3588325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$FA96B2EA-D08E-4F31-89C3-570F250A3981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0b1db009acc87d5d74ec387a33d3ec66962f059","datavalue":{"value":{"entity-type":"item","numeric-id":551164,"id":"Q551164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$5FDC0B0F-8CD2-48DE-90B5-0FDA42D01B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f9c9c0da0bc3bdb62c24d5a0777f8a36a55f99","datavalue":{"value":{"entity-type":"item","numeric-id":3766835,"id":"Q3766835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$A1F39BE2-9FAE-4E54-8F44-05A319A9DC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a70d1014008ae2b91a0233bff9587cf08e2d58ad","datavalue":{"value":{"entity-type":"item","numeric-id":5361379,"id":"Q5361379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$7A827AFB-ADC7-4B06-87CF-381876E53DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6a265f25f762685116f6ed9e3e8ff3b96281739","datavalue":{"value":{"entity-type":"item","numeric-id":4446603,"id":"Q4446603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$C93C52E2-41F6-4446-8DEB-60826AC6B469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956870d2ade79e9174a066d6d0ef0ab4761cead4","datavalue":{"value":{"entity-type":"item","numeric-id":915420,"id":"Q915420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$6DE97A46-B8BE-49E9-B643-5290A0FB6FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2913d04c73a41e653888ffc50389c26c3f4fe635","datavalue":{"value":{"entity-type":"item","numeric-id":5466237,"id":"Q5466237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$5514073D-51C3-4696-B813-FEDE5ED1E468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358313e7682912930a4d2e3508a5704de0dffe0c","datavalue":{"value":{"entity-type":"item","numeric-id":3766833,"id":"Q3766833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$C9F1C012-5754-4DEF-B9F3-D3FF5BBF70B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"580448f059f78bf9c80b9e64e753cf9068cc95e3","datavalue":{"value":{"entity-type":"item","numeric-id":1178203,"id":"Q1178203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$77C68804-A59B-4230-8B9E-D445291A3C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99fb46edf8dd02de467f114b60009d861b706b9","datavalue":{"value":{"entity-type":"item","numeric-id":5054767,"id":"Q5054767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q551164$BF032D8E-A79E-4F6A-8A77-EEBE6D7FE24B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3600fafe5ce3029e8666d6682fa4ecca5494290f","datavalue":{"value":"10.1016/J.TCS.2011.02.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q551164$123FD06A-56E2-471D-8AAB-109905E93735","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c723e5966d661a39c8e30b0bedab72bc4e28e624","datavalue":{"value":{"entity-type":"item","numeric-id":455967,"id":"Q455967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d70573461fe820a2428cedd128d9b01078c34e","datavalue":{"value":{"amount":"+0.7956529259681702","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":"Q551164$38270A8A-DBAC-45BD-A428-92853714CFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae60659fd0a8d3309305dedf759e754ef6e73fd","datavalue":{"value":{"entity-type":"item","numeric-id":5307030,"id":"Q5307030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d9d47a8bc26daf658fb2e15c635811a35a0c948","datavalue":{"value":{"amount":"+0.7939000129699707","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":"Q551164$55C03519-55A3-42C8-8C62-6D9A92E4CAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a76b324a7ca7d220ccc155159da56bdb0749d9","datavalue":{"value":{"entity-type":"item","numeric-id":926286,"id":"Q926286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c31e81a16a01264ffbccbe8cfcf76fca9d74b93","datavalue":{"value":{"amount":"+0.7799939513206482","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":"Q551164$3272B4FA-AD71-46CA-BC04-CC67575F695A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df170e2cbd16d1b1ee2206efc85e1bfb2dbec88","datavalue":{"value":{"entity-type":"item","numeric-id":4392356,"id":"Q4392356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154dab9f2b71782f8e65d5dd538c2ae06591ba6f","datavalue":{"value":{"amount":"+0.7568578124046326","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":"Q551164$6FC817DB-040D-4850-A8CB-704C5E33ACC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c97389e44bbbddb3510a9abab48d184ae25c53","datavalue":{"value":{"entity-type":"item","numeric-id":1954231,"id":"Q1954231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c72e58838389a2028a5978d6621712146c1b13","datavalue":{"value":{"amount":"+0.7504420876502991","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":"Q551164$5A58037F-8AD2-44D0-BE5D-E28A36345CA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic FTSS in asynchronous systems: the case of unison","badges":[]}}}}}