{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:15:56Z","timestamp":1725549356690},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540926658"},{"type":"electronic","value":"9783540926665"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-540-92666-5_6","type":"book-chapter","created":{"date-parts":[[2010,3,8]],"date-time":"2010-03-08T10:24:44Z","timestamp":1268043884000},"page":"67-78","source":"Crossref","is-referenced-by-count":3,"title":["SelfWISE: A Framework for Developing Self-Stabilizing Algorithms"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Weyer","sequence":"first","affiliation":[]},{"given":"Volker","family":"Turau","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"M. Arumugam, L. Wang, and S. S. Kulkarni. A Case Study on Prototyping Power Management Protocols for Sensor Networks. In Proc. of the 8th Int. Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS\u201906), 2006.","DOI":"10.21236\/ADA455713"},{"key":"6_CR2","unstructured":"J. Beauquier, A. Kumar Datta, M. Gradinariu, and F. Magniette. Self-Stabilizing Local Mutual Exclusion and Daemon Refinement. Chic. J. Theor. Comput., 2002(1), 2002."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"A. Dalton, W. P. McCartney, and K. Ghosh-Dastidar et al. DESAL\u03b1: An Implementation of the Dynamic Embedded Sensor-Actuator Language. In Proc. of the 17th Int. Conf. on Computer Communications and Networks (IC3N\u201908), Washington DC, USA, 2008.","DOI":"10.1109\/ICCCN.2008.ECP.108"},{"key":"6_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6156.001.0001","volume-title":"Self-Stabilization","author":"S. Dolev","year":"2000","unstructured":"S. Dolev. Self-Stabilization. MIT Press, Cambridge, MA, USA, 2000."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"C. Frank and K. R\u00f6mer. Algorithms for Generic Role Assignment in Wireless Sensor Networks. In Proc. of the Third ACM Int. Conf. on Embedded, Networked Sensor Systems (Sensys\u201905), 2005.","DOI":"10.1145\/1098918.1098944"},{"key":"6_CR6","volume-title":"Technical Report IC\/2003\/38","author":"F. C. G\u00e4rtner","year":"2003","unstructured":"F. C. G\u00e4rtner. A Survey of Self-Stabilizing Spanning-Tree Construction Algorithms. Technical Report IC\/2003\/38, Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland, 2003."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"T. Herman. Models of Self-Stabilization and Sensor Networks. In Proc. of the 5th Int. Workshop on Distributed Computing (IWDC\u201903), 2003.","DOI":"10.1007\/978-3-540-24604-6_20"},{"issue":"2","key":"6_CR8","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/j.comcom.2005.05.016","volume":"29","author":"S. S. Kulkarni","year":"2006","unstructured":"S. S. Kulkarni and M. Arumugam. Transformations for Write-All-With-Collision Model. Comput. Commun., 29(2):183\u2013199, 2006.","journal-title":"Comput. Commun."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"N. M\u00fcllner, A. Dhama, and O. Theel. Derivation of Fault-Tolerance Measures of Self-Stabilizing Algorithms by Simulation. In Proc. of the 41st Annual Simulation Symposium (ANSS\u201908), 2008.","DOI":"10.1109\/ANSS-41.2008.26"},{"key":"6_CR10","volume-title":"Diploma thesis","author":"K. Pilz","year":"2008","unstructured":"K. Pilz. Beschreibungssprache f\u00fcr selbststabilisierende Algorithmen f\u00fcr drahtlose Sensornetze. Diploma thesis, Hamburg University of Technology, Germany, 2008."},{"issue":"1","key":"6_CR11","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/151254.151256","volume":"25","author":"M. Schneider","year":"1993","unstructured":"M. Schneider. Self-Stabilization. ACM Comput. Surv., 25(1):45\u201367, 1993.","journal-title":"ACM Comput. Surv."},{"key":"6_CR12","unstructured":"S. Sen and R. Cardell-Oliver. A Rule-Based Language for Programming Wireless Sensor Actuator Networks using Frequency and Communication. In Proc. of the Third, Workshop on Embedded, Networked Sensors (EmNets\u2019 06), 2006."},{"key":"6_CR13","unstructured":"K. Terfloth, G. Wittenburg, and J. Schiller. FACTS \u2014 A Rule-Based Middleware Architecture for Wireless Sensor Networks. In Proc. of the First IEEE Int. Conf. on Communication System Software and Middleware (COMSWARE\u201906), 2006."},{"issue":"1","key":"6_CR14","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1504\/IJCNDS.2009.021695","volume":"2","author":"V. Turau","year":"2009","unstructured":"V. Turau and C. Weyer. Fault Tolerance in Wireless Sensor Networks through Self-Stabilization. Int. J. of Commun. Networks and Distr. Sys., 2(1):78\u201398, 2009.","journal-title":"Int. J. of Commun. Networks and Distr. Sys."}],"container-title":["Informatik aktuell","Kommunikation in Verteilten Systemen (KiVS)"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92666-5_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:13:25Z","timestamp":1606184005000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92666-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540926658","9783540926665"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92666-5_6","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[2009]]}}}