Minimum mutable checkpoint-based coordinated checkpointing protocol for mobile distributed systems. (1st January 2014)