Return to Article Details An Efficient Synchronous Checkpointing Protocol for Mobile Distributed Systems