@article{1dcf3651a44142a78f04d62a3a6817b0,
title = "Practically stabilizing SWMR atomic memory in message-passing systems",
abstract = "A fault-tolerant and practically stabilizing simulation of an atomic register is presented. The simulation works in asynchronous message-passing systems, and allows a minority of processes to crash. The simulation stabilizes in a practically stabilizing manner, by reaching a long execution in which it runs correctly. A key element in the simulation is a new combinatorial construction of a bounded labeling scheme accommodating arbitrary labels, including those not generated by the scheme itself.",
keywords = "Message passing, Self-stabilization, Shared memory, Single writer multiple reader register",
author = "Noga Alon and Hagit Attiya and Shlomi Dolev and Swan Dubois and Maria Potop-Butucaru and S{\'e}bastien Tixeuil",
note = "Funding Information: An extended abstract of this work was presented in the proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) 2011. Research of the first author supported in part by an ERC advanced grant ( DMMCA ), by a USA–Israeli BSF (grant number 2012107 ), by the Israel Science Foundation (grant number 620/13 ). Research of the second author supported in part by the Israel Science Foundation (grants numbers 953/06 and 1227/10 ). The work started while the second author was visiting EPFL, and the third author was a visiting professor at LIP6. Research of the third author supported by the Israeli Internet Association , Israeli Ministry of Science and Technology , Infrastructure Research in the Field of Advanced Computing and Cyber Security , Israel Science Foundation (grant number 428/11 ), and Rita Altura Trust Chair in Computer Sciences . The last author is supported in part by LINCS . Publisher Copyright: {\textcopyright} 2014 Elsevier Inc.",
year = "2015",
month = jun,
day = "1",
doi = "10.1016/j.jcss.2014.11.014",
language = "English (US)",
volume = "81",
pages = "692--701",
journal = "Journal of Computer and System Sciences",
issn = "0022-0000",
publisher = "Academic Press Inc.",
number = "4",
}