A Distributed Checkpoint Mechanism for Replicated State Machines Topics: Cloud Application Scalability and Availability; Cloud Optimization and Automation; Cloud Reliability and Resilience; Function-as-a-Service and Serverless Computing In Proceedings of the 10th International Conference on Cloud Computing and Services Science CLOSER - Volume 1, 515-520, 2020