%0 Journal Article %A Gloria Cravo %A Jorge Cardoso %T Termination of Workflows A snapshot-based approach %J Mathematica balkanica %D 2007 %P 233 %V 21 %N 3-4 %I mathdoc %U http://geodesic.mathdoc.fr/item/MABA_2007_21_3-4_a1/ %F MABA_2007_21_3-4_a1