Model of error propagation in systems of communicating processes (Q1067778)

The subject of the present paper is the error propagation model for systems of communicating processes in distributed computer systems. This has been used to express a new idea about an error recovery method in a system of processes which does not need any limitation on communication. It has been assumed that the technique of error recovery is based on state restoration, and that the recovery function is implemented in a distributed way. The notion of recovery line and a method for its construction have been discussed. Next it has been argued that the recovery function should be implemented as a protocol.