A design tool for fault tolerant software

Publisher Website

4 December 2002

proceedings article
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 130-137
https://doi.org/10.1109/cmpeur.1990.113618

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

Programmer-transparent coordination of recovering concurrent processes: philosophy and rules for efficient implementation
IEEE Transactions on Software Engineering, 1988
Structuring a distributed program: the XMDS approach
Microprocessing and Microprogramming, 1987
Multiple-Microprocessor Programming Techniques: MML, a New Set of Tools
Computer, 1984
The failure and recovery problem for replicated databases
Published by Association for Computing Machinery (ACM) ,1983
Approaches to Mechanization of the Conversation Scheme Based on Monitors
IEEE Transactions on Software Engineering, 1982
System structure for software fault tolerance
IEEE Transactions on Software Engineering, 1975