Critical system properties: survey and taxonomy

This publication has 62 references indexed in Scilit:

• Self-stabilization
  ACM Computing Surveys, 1993
• The formal verification of an algorithm for interactive consistency under a hybrid fault model
  Published by Springer Nature ,1993
• Understanding fault-tolerant distributed systems
  Communications of the ACM, 1991
• Specifying graceful degradation
  IEEE Transactions on Parallel and Distributed Systems, 1991
• An experimental evaluation of the assumption of independence in multiversion programming
  IEEE Transactions on Software Engineering, 1986
• The N-Version Approach to Fault-Tolerant Software
  IEEE Transactions on Software Engineering, 1985
• End-to-end arguments in system design
  ACM Transactions on Computer Systems, 1984
• The Byzantine Generals Problem
  ACM Transactions on Programming Languages and Systems, 1982
• System structure for software fault tolerance
  IEEE Transactions on Software Engineering, 1975
• Self-stabilizing systems in spite of distributed control
  Communications of the ACM, 1974