Abstract Task-oriented programming ( top ) is a new paradigm for specifying multi-user workflows. To reason formally about programs, formal language called TopHat has been designed, together with its operational semantics. For proving properties task-oriented it desirable to know when two -programs are semantically equivalent. This paper aims answer this question. We show that task can be in ei...