A Process Algebraic Approach to Fault-Tolerance

A process algebraic approach to the specication of fault tolerant systems is de-scribed. As replication is inevitable for fault tolerance, we extend the process alge-bra 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 eect of faults on a replicated system can be modelled.