Fault tolerant distributed computing using atomic send-receive checkpoints | IEEE Conference Publication | IEEE Xplore