An object based algebra for specifying a fault tolerant software architecture

Nicola Dragoni, Mauro Gaspari. An object based algebra for specifying a fault tolerant software architecture. Journal of Logic and Algebraic Programming, 63(2):271-297, 2005. [doi]

Abstract

Abstract is missing.