A Communication-Induced Checkpointing and Asynchronous Recovery Protocol for Mobile Computing Systems | IEEE Conference Publication | IEEE Xplore