Ghost Process: a Sound Basis to Implement Process Duplication, Migration and Checkpoint/Restart in Linux Clusters | IEEE Conference Publication | IEEE Xplore