A Process Algebraic Approach to Fault-Tolerance

TR-COSC 01/92A process algebraic approach to the specification of fault tolerant systems is described. As replication is inevitable for fault tolerance, we extend the process algebra of Aceto and Hennessy with a replication operator. An operational semantics for replicated processes with majority voting is developed. We model faults as action re nement and show how the effect of faults on a replicated system can be modelled