How to build a highly available system using consensus

This publication has 7 references indexed in Scilit:

• Forward and backward simulations for timing-based systems
  Published by Springer Nature ,1992
• The existence of refinement mappings
  Theoretical Computer Science, 1991
• Implementing fault-tolerant services using the state machine approach: a tutorial
  ACM Computing Surveys, 1990
• A simple approach to specifying concurrent systems
  Communications of the ACM, 1989
• Defining liveness
  Information Processing Letters, 1985
• Impossibility of distributed consensus with one faulty process
  Journal of the ACM, 1985
• The implementation of reliable distributed multiprocess systems
  Computer Networks (1976), 1978