The complexity of automated addition of fault-tolerance without explicit legitimate states

Fuad Abujarad, Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni. The complexity of automated addition of fault-tolerance without explicit legitimate states. Distributed Computing, 28(3):201-219, 2015. [doi]

Abstract

Abstract is missing.