Title: Progress properties in program refinement and parallel composition