Stable checkpointing in distributed systems without shared disks | IEEE Conference Publication | IEEE Xplore