TY - JOUR AU - Gloria Cravo AU - Jorge Cardoso TI - Termination of Workflows A snapshot-based approach JO - Mathematica balkanica PY - 2007 SP - 233 VL - 21 IS - 3-4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MABA_2007_21_3-4_a1/ ID - MABA_2007_21_3-4_a1 ER -