Work

A Minimum-process Coordinated Checkpointing Protocol for Mobile Computing Systems