added more details for recovery process, state synchornization and finally the correct implication of replica in my work