Abujarad, Fuad; Lin, Yiyan; Bonakdarpour, Borzoo; Kulkarni, Sandeep S. The complexity of automated addition of fault-tolerance without explicit legitimate states. (English) Zbl 1331.68031 Distrib. Comput. 28, No. 3, 201-219 (2015). MSC: 68M15 68N30 PDFBibTeX XMLCite \textit{F. Abujarad} et al., Distrib. Comput. 28, No. 3, 201--219 (2015; Zbl 1331.68031) Full Text: DOI
Bonakdarpour, Borzoo; Kulkarni, Sandeep S.; Abujarad, Fuad Symbolic synthesis of masking fault-tolerant distributed programs. (English) Zbl 1285.68016 Distrib. Comput. 25, No. 1, 83-108 (2012). MSC: 68M15 68M14 68W15 68Q60 PDFBibTeX XMLCite \textit{B. Bonakdarpour} et al., Distrib. Comput. 25, No. 1, 83--108 (2012; Zbl 1285.68016) Full Text: DOI