Task structure semantics through process algebra

The task structure diagramming technique can be used to graphically denote process specifications. In task structure diagrams, sequential execution, iteration, choice and parallelism can be expressed. Task structure diagrams are extended with a synchronisation mechanism and a formal semantics is given by means of a translation to process algebra. By using known techniques for proving equivalence of process specifications in process algebra, the translation provides a basis for proving equivalence of task structures