{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T20:10:03Z","timestamp":1744229403904,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642335358"},{"type":"electronic","value":"9783642335365"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33536-5_13","type":"book-chapter","created":{"date-parts":[[2012,9,30]],"date-time":"2012-09-30T11:52:35Z","timestamp":1349005955000},"page":"126-132","source":"Crossref","is-referenced-by-count":6,"title":["Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback"],"prefix":"10.1007","author":[{"given":"Jordan","family":"Adamek","sequence":"first","affiliation":[]},{"given":"Mikhail","family":"Nesterenko","sequence":"additional","affiliation":[]},{"given":"S\u00e9bastien","family":"Tixeuil","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"13_CR1","first-page":"3","volume":"20","author":"A. Bui","year":"2007","unstructured":"Bui, A., Datta, A.K., Petit, F., Villain, V.: Snap-stabilization and PIF in tree networks. Distributed Computing\u00a020(1), 3\u201319 (2007)","journal-title":"Distributed Computing"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Dolev, S.: Self-Stabilization. MIT Press (2000)","DOI":"10.7551\/mitpress\/6156.001.0001"},{"key":"13_CR3","unstructured":"Dubois, S., Tixeuil, S.: A taxonomy of daemons in self-stabilization. Technical Report 1110.0334, ArXiv eprint (October 2011)"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Flatebo, M., Datta, A.K.: Simulation of self-stabilizing algorithms in distributed systems. In: Proceedings of the 25th Annual Simulation Symposium, pp. 32\u201341 (1992)","DOI":"10.1109\/SIMSYM.1992.227579"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-642-23400-2_12","volume-title":"Euro-Par 2011 Parallel Processing","author":"C. Johnen","year":"2011","unstructured":"Johnen, C., Mekhaldi, F.: Self-stabilization versus Robust Self-stabilization for Clustering in Ad-Hoc Network. In: Jeannot, E., Namyst, R., Roman, J. (eds.) Euro-Par 2011, Part I. LNCS, vol.\u00a06852, pp. 117\u2013129. Springer, Heidelberg (2011)"},{"issue":"1-2","key":"13_CR6","first-page":"1","volume":"11","author":"N. Mitton","year":"2011","unstructured":"Mitton, N., S\u00e9ricola, B., Tixeuil, S., Fleury, E., Gu\u00e9rin-Lassous, I.: Self-stabilization in self-organized multihop wireless networks. Ad Hoc and Sensor Wireless Networks\u00a011(1-2), 1\u201334 (2011)","journal-title":"Ad Hoc and Sensor Wireless Networks"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Mullner, N., Dhama, A., Theel, O.: Derivation of fault tolerance measures of self-stabilizing algorithms by simulation. In: 41st Annual Simulation Symposium, ANSS 2008, pp. 183\u2013192 (April 2008)","DOI":"10.1109\/ANSS-41.2008.26"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Nesterenko, M., Tixeuil, S.: Ideal stabilization. Journal of Utility and Grid Computing (JUGC) (to appear, 2012)","DOI":"10.1109\/AINA.2011.28"},{"key":"13_CR9","unstructured":"Nesterenko, M., Tixeuil, S.: Proof of stabilization of ideal propagation of information with feedback algorithm. Technical Report TR-KSU-CS-2012-1, Computer Science Department, Kent State University (April 2012)"},{"key":"13_CR10","first-page":"122","volume":"27","author":"A. Pr\u00fcfer","year":"1918","unstructured":"Pr\u00fcfer, A.: Neuer beweis eines Satzes \u00fcber permutationen. Archiv f\u00fcr Mathematik Physik\u00a027, 122\u2013142 (1918)","journal-title":"Archiv f\u00fcr Mathematik Physik"},{"key":"13_CR11","unstructured":"Tel, G.: Introduction to distributed algorithms. Cambridge University Press (1994)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Tixeuil, S.: Self-stabilizing Algorithms. In: Algorithms and Theory of Computation Handbook, 2nd edn., pp. 26.1\u201326.45. CRC Press, Taylor & Francis Group (November 2009)","DOI":"10.1201\/9781584888215-c26"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Wahba, S.K., Hallstrom, J.O., Srimani, P.K., Sridhar, N.: SFS 3: a simulation framework for self-stabilizing systems. In: McGraw, R.M., Imsand, E.S., Chinni, M.J. (eds.) Proceedings of the 2010 Spring Simulation Multiconference, SpringSim 2010, Orlando, Florida, USA, April 11-15, pp. 172\u2013181. SCS\/ACM (2010)","DOI":"10.1145\/1878537.1878716"}],"container-title":["Lecture Notes in Computer Science","Stabilization, Safety, and Security of Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33536-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T19:31:58Z","timestamp":1744227118000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33536-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642335358","9783642335365"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33536-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}