Ad-Hoc recovery in workflows, a formal model and some system support aspects | IEEE Conference Publication | IEEE Xplore