{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T04:53:26Z","timestamp":1648961606212},"reference-count":19,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Parallel Distrib. Syst."],"published-print":{"date-parts":[[2016,1,1]]},"DOI":"10.1109\/tpds.2015.2388480","type":"journal-article","created":{"date-parts":[[2015,1,7]],"date-time":"2015-01-07T19:34:31Z","timestamp":1420659271000},"page":"263-270","source":"Crossref","is-referenced-by-count":3,"title":["Specification-Based Design of Self-Stabilization"],"prefix":"10.1109","volume":"27","author":[{"given":"Murat","family":"Demirbas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anish","family":"Arora","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Self-stabilization in distributed systems.","author":"flatebo","year":"1994","journal-title":"Readings in Distributed Computing Systems"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0022135","article-title":"The triumph and tribulation of system stabilization","volume":"972","author":"gouda","year":"0","journal-title":"Proceedings of the 9th International Workshop on Distributed Algorithms"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BF02278852"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58468-4_159"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357176"},{"key":"ref15","article-title":"A foundation for fault tolerant components","author":"leal","year":"2001"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211393"},{"key":"ref17","article-title":"Correct implementation of network protocols","author":"mcguire","year":"2004"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48169-9_18"},{"key":"ref19","article-title":"Self-stabilization by local checking and correction","author":"varghese","year":"1993"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1991.185377"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"293","DOI":"10.3233\/JHS-1996-5305","article-title":"Constraint satisfaction as a basis for designing nonmasking fault-tolerance","volume":"5","author":"arora","year":"1996","journal-title":"J High Speed Netw"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2003.1214874"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/3-540-40026-5_15","article-title":"Self-stabilizing local mutual exclusion and daemon refinement","author":"beauquier","year":"0","journal-title":"Proc Intl Symp on Distributed Computing"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6156.001.0001","author":"dolev","year":"2000","journal-title":"Self-Stabilization"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/361179.361202"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2001.941423"},{"key":"ref1","first-page":"287","article-title":"Local stabilizer","author":"afek","year":"0","journal-title":"Proc ACM Symp Principles Distributed Computing"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/11577327_6"}],"container-title":["IEEE Transactions on Parallel and Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/71\/7350313\/7004085.pdf?arnumber=7004085","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T15:57:34Z","timestamp":1642003054000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7004085\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,1]]},"references-count":19,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tpds.2015.2388480","relation":{},"ISSN":["1045-9219"],"issn-type":[{"value":"1045-9219","type":"print"}],"subject":[],"published":{"date-parts":[[2016,1,1]]}}}