{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:35:35Z","timestamp":1740141335266,"version":"3.37.3"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2015,5,1]],"date-time":"2015-05-01T00:00:00Z","timestamp":1430438400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CCF-1116546"],"award-info":[{"award-number":["CCF-1116546"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2015,5,1]]},"DOI":"10.1109\/tdsc.2014.2315191","type":"journal-article","created":{"date-parts":[[2014,4,2]],"date-time":"2014-04-02T18:31:47Z","timestamp":1396463507000},"page":"338-350","source":"Crossref","is-referenced-by-count":5,"title":["On the Hardness of Adding Nonmasking Fault Tolerance"],"prefix":"10.1109","volume":"12","author":[{"given":"Alex","family":"Klinkhamer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Ebnenasir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Computers and Intractability A Guide to the Theory of NP-Completeness","year":"1979","author":"gary","key":"ref10"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/3-540-45438-1_8","article-title":"The theory of weak stabilization","volume":"2194","author":"gouda","year":"0","journal-title":"Proc 5th Int Workshop Self-Stabilizing Syst"},{"key":"ref12","first-page":"219","article-title":"A lightweight method for automated design of convergence","author":"ebnenasir","year":"0","journal-title":"Proc IEEE Int Symp Parallel Distrib Process"},{"key":"ref13","first-page":"38:1","article-title":"A lightweight method for automated design of convergence in network protocols","volume":"7","author":"farahat","year":"2012","journal-title":"ACM Trans Autonom Adaptive Syst"},{"key":"ref14","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"},{"journal-title":"A Discipline of Programming","year":"1990","author":"dijkstra","key":"ref15"},{"year":"0","key":"ref16"},{"journal-title":"Handbook of Theoretical Computer Science Chapter 18 Distributed Computing Models and Methods","year":"1990","author":"lamport","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.2001.1828"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2002.1022309"},{"key":"ref28","first-page":"408","article-title":"Revising distributed UNITY programs is NP-complete","author":"bonakdarpour","year":"0","journal-title":"Proc Int Conf Principles Distrib Syst"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211393"},{"key":"ref27","first-page":"13","article-title":"Swarm synthesis of convergence for symmetric protocols","author":"ebnenasir","year":"0","journal-title":"Proc European Dependable Computing Conf"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.256850"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-45352-0_9","article-title":"Automating the addition of fault-tolerance","author":"kulkarni","year":"0","journal-title":"Proc Formal Techn in Real Time and Fault Tolerant Syst"},{"year":"0","key":"ref29"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"293","DOI":"10.3233\/JHS-1996-5305","article-title":"Constraint satisfaction as a basis for designing nonmasking fault-tolerant systems","volume":"5","author":"arora","year":"1996","journal-title":"J High Speed Netw"},{"key":"ref8","first-page":"337","article-title":"The complexity of adding failsafe fault-tolerance","author":"kulkarni","year":"0","journal-title":"Proc 22nd Int Conf Distrib Comput Syst"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(85)90056-0"},{"year":"0","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2005.29"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/361179.361202"},{"key":"ref20","article-title":"Effectiveness of transition systems to model faults, in","author":"chen","year":"0","journal-title":"Proc 2nd Int Workshop Logical Aspects of Fault-Tolerance (LAFT)"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/32.689401"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"ref24","first-page":"356","article-title":"Software encoded processing: Building dependable systems with commodity hardware","author":"wappler","year":"0","journal-title":"Proc Comput Safety Rel Security"},{"year":"0","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.02.008"},{"key":"ref25","article-title":"Practical hardening of crash-tolerant systems","volume":"12 pp 453?466","author":"correia","year":"0","journal-title":"Proc USENIX Conf Annu Tech Conf"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/7105434\/06782446.pdf?arnumber=6782446","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T15:58:48Z","timestamp":1642003128000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6782446\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,1]]},"references-count":29,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2014.2315191","relation":{},"ISSN":["1545-5971"],"issn-type":[{"type":"print","value":"1545-5971"}],"subject":[],"published":{"date-parts":[[2015,5,1]]}}}