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.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: