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