We present a formal characterization of fault-tolerant behaviors of computing systems via
simulation relations. This formalization makes use of variations of standard simulation …