Issue No. 02 - March (1980 vol. 6)
D.L. Russell , Bell Laboratories
In systems of asynchronous processes using messagelists with SEND-RECEIVE primitives for interprocess communication recovery primitives are defined to perform state restoration: MARK saves a particular point in the execution of the program; RESTORE resets the system state to an earlier point (saved by MARK); and PURGE discards redundant information when it is no longer needed for possible state restoration.
state restoration, Backup, domino effect, error recovery, parallel back-tracking, process communication, recovery blocks
D.L. Russell, "State Restoration in Systems of Communicating Processes", IEEE Transactions on Software Engineering, vol. 6, no. , pp. 183-194, March 1980, doi:10.1109/TSE.1980.230469