Skip to Main Content
Describes dynamically identified recoverable atomic actions carried out by a backward-error-recovery technique. The important question associated with this approach is: 'What information is necessary for error recovery?' Using the backward-error-recovery technique, this problem may be solved by suitable recovery-point management. The paper presents the specification of a protocol for safe recovery-point recognition, i.e. the points which will not be used for any recovery action in subsequent calculations. The specification is based on a formal description of the recovery process in a system of communicating processes.