A compositional framework for fault tolerance by specification transformation

Doron Peled, Mathai Joseph

Research output: Contribution to journalArticlepeer-review

10 Scopus citations


The incorporation of a recovery algorithm into a program can be viewed as a program transformation, converting the basic program into a fault-tolerant version. We present a framework in which such program transformations are accompanied by a corresponding specification transformation which obtains properties of the fault tolerant versions of the programs from properties of the basic programs. Compositionality is achieved when every property of the fault tolerant version can be obtained from a transformed property of the basic program.

Original languageEnglish
Pages (from-to)99-125
Number of pages27
JournalTheoretical Computer Science
Issue number1-2
StatePublished - 6 Jun 1994
Externally publishedYes

Bibliographical note

Funding Information:
Correspondence to: D. Peled, AT&T Bell Laboratories, 600 Mountain Avenue, Murray USA. Email addresses: doron@research.att.com and mathai@dcs.warwick.ac.uk. * Supported in part by SERC research grants GR/F 57960 and CR/H 39499.


Dive into the research topics of 'A compositional framework for fault tolerance by specification transformation'. Together they form a unique fingerprint.

Cite this