A system for maintaining replicated state machines