A theory for observational fault tolerance

Adrian Francalanza, Matthew Hennessy. A theory for observational fault tolerance. Journal of Logic and Algebraic Programming, 73(1-2):22-50, 2007. [doi]

Abstract

Abstract is missing.