Self-stabilizing systems in spite of distributed control, Communications of the ACM, vol.17, issue.11, pp.643-644, 1974. ,
DOI : 10.1145/361179.361202
A foundation of fault-tolerant computing, 1992. ,
Closure and convergence: a foundation of fault-tolerant computing, IEEE Transactions on Software Engineering, vol.19, issue.11, pp.1015-1027, 1993. ,
DOI : 10.1109/32.256850
Transformation of programs for fault-tolerance. Formal Aspects of Computing, pp.442-469, 1992. ,
Constraint satisfaction as a basis for designing nonmasking fault-tolerant systems, Journal of High Speed Networks, vol.5, issue.3, pp.293-306, 1996. ,
Automating the Addition of Fault-Tolerance, Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.82-93, 2000. ,
DOI : 10.1007/3-540-45352-0_9
Defining liveness, Information Processing Letters, vol.21, issue.4, pp.181-185, 1985. ,
DOI : 10.1016/0020-0190(85)90056-0
Complexity issues in automated synthesis of failsafe fault-tolerance, IEEE Transactions on Dependable and Secure Computing (TDSC), vol.2, issue.3, pp.201-215, 2005. ,
Computers and Intractability: A Guide to the Theory of NP-Completeness, 1979. ,
A computing procedure for quantification theory, Communications of the ACM, vol.7, issue.3, pp.201-215, 1960. ,
SAT-based synthesis of fault-tolerance, Fast Abstracts of the International Conference on Dependable Systems and Networks, 2004. ,
The triumph and tribulation of system stabilization, Distributed Algorithms9th WDAG'95), pp.1-18, 1995. ,
DOI : 10.1007/BFb0022135
The Theory of Weak Stabilization, 5th International Workshop on Self-Stabilizing Systems, pp.114-123, 2001. ,
DOI : 10.1007/3-540-45438-1_8
Handbook of Theoretical Computer Science: Chapter 18, Distributed Computing: Models and Methods, 1990. ,
Stabilization-Preserving Atomicity Refinement, Journal of Parallel and Distributed Computing, vol.62, issue.5, pp.766-791, 2002. ,
DOI : 10.1006/jpdc.2001.1828
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.5619
Convergence refinement, Proceedings 22nd International Conference on Distributed Computing Systems, pp.589-597, 2002. ,
DOI : 10.1109/ICDCS.2002.1022309
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.4687
A Discipline of Programming, 1990. ,
Designing masking fault-tolerance via nonmasking fault-tolerance, IEEE Transactions on Software Engineering, vol.24, issue.6, pp.435-450, 1998. ,
DOI : 10.1109/32.689401
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.2946
Self-stabilization by local checking and correction, 1993. ,
Automatic Synthesis of Fault-Tolerance, 2005. ,
Automated design of efficient fail-safe fault tolerance, 2004. ,
DOI : 10.1109/issre.2009.31
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.7693
An approach to synthesise safe systems, International Journal of Security and Networks, vol.1, issue.1/2, pp.62-74, 2006. ,
DOI : 10.1504/IJSN.2006.010824
URL : http://wrap.warwick.ac.uk/61522/1/an_approach_to_synthesise_safe_systems.pdf
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space, 27th International Conference on Distributed Computing Systems (ICDCS '07), pp.3-10, 2007. ,
DOI : 10.1109/ICDCS.2007.109
Automated constraint-based addition of nonmasking and stabilizing fault-tolerance, Theoretical Computer Science, vol.412, issue.33, pp.4228-4246, 2011. ,
DOI : 10.1016/j.tcs.2011.02.008
A Lightweight Method for Automated Design of Convergence in Network Protocols, ACM Transactions on Autonomous and Adaptive Systems, vol.7, issue.4, pp.1-3836, 2012. ,
DOI : 10.1145/2382570.2382574
Swarm Synthesis of Convergence for Symmetric Protocols, 2012 Ninth European Dependable Computing Conference, pp.13-24, 2012. ,
DOI : 10.1109/EDCC.2012.22
Revising Distributed UNITY Programs Is NP-Complete, Proceedings of the 12th International Conference on Principles of Distributed Systems (OPODIS), pp.408-427, 2008. ,
DOI : 10.1145/357233.357237
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.7398