Conference paperCode motion of control structures in high-level languagesRon Cytron, Andy Lowry, et al.POPL 1986
Conference paperRestoring consistent global states of distributed computationsArthur P. Goldberg, Ajei Gopal, et al.WPADD 1991