Please use this identifier to cite or link to this item:
Title: A theory for observational fault tolerance
Authors: Francalanza, Adrian
Hennessy, Matthew
Keywords: Fault-tolerant computing
Distributed operating systems (Computers)
Issue Date: 2007
Publisher: Elsevier BV
Citation: Francalanza, A., & Hennessy, M. (2007). A theory for observational fault tolerance. The Journal of Logic and Algebraic Programming, 73(1), 22-50.
Abstract: In general, faults cannot be prevented; instead, they need to be tolerated to guarantee certain degrees of software dependability. We develop a theory for fault tolerance for a distributed pi-calculus, whereby locations act as units of failure and redundancy is distributed across independently failing locations. We give formal definitions for fault tolerant programs in our calculus, based on the well studied notion of contextual equivalence. We then develop bisimulation proof techniques to verify fault tolerance properties of distributed programs and show they are sound with respect to our definitions for fault tolerance.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
A_Theory_for_Observational_Fault_Tolerance.pdf244.54 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.