Replicated State Machine Implementation