Formal characterization of partial state corruption in persistent execution systems. Introduces execution geometry as a structural restriction over admissible transition sequences, with necessity and sufficiency results.
Gheorghe Rotaru (Thu,) studied this question.