A abordagem de máquina de estado é um método geral para implementar serviços tolerantes a falhas em sistemas distribuídos. Este artigo revisa a abordagem e descreve protocolos para dois modelos de falha diferentes - bizantino e falha de parada. Técnicas de reconfiguração de sistemas para remoção de componentes com falhas e integração de componentes reparados também são discutidas.
Fred B. Schneider (Sat,) estudou esta questão.