An overview of process algebras for fault tolerance
V.C. Galpin
Third Model Checking and Theorem Proving Workshop, University of the Witwatersrand, Johannesburg, South Africa, January 1999
Slides - PDF