added diagrams with synthesis semantics for seq, par, sum