Failure mode assumptions and assumption coverage

This publication has 7 references indexed in Scilit:

• Redundant media mechanisms for dependable communication in token-bus LANs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The Delta-4 approach to dependability in open distributed computing systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• Byzantine generals in action
  ACM Transactions on Computer Systems, 1984
• A review of synchronisation and matching in fault-tolerant systems
  IEE Proceedings E Computers and Digital Techniques, 1984
• Fail-stop processors
  ACM Transactions on Computer Systems, 1983
• Fairness and related properties in transition systems ? a temporal logic to deal with fairness
  Acta Informatica, 1983
• The Byzantine Generals Problem
  ACM Transactions on Programming Languages and Systems, 1982