Programmer-transparent coordination of recovering concurrent processes: philosophy and rules for efficient implementation | IEEE Journals & Magazine | IEEE Xplore