A Process Algebraic Approach to Fault-Tolerance
P. Krishnan & B.J. McKenzie
Department of Computer Science
University of Canterbury
Abstract
A process algebraic approach to the speci cation 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.