I don't fully understand how to draw a LTS (Labelled Transition System) for a given process in CCS (Calculus of Communicating Systems). Assume I have a simple process like: $$a.0$$
From my understanding the LTS should look like this: $$a.0 \xrightarrow{a} 0$$
But what if I have to similar processes? Assume I have: $$\tau .(a.0+a.0)$$ $$\tau.a.0+\tau.a.0$$
I think the LTS for the first one would be: \begin{aligned} &\tau .(a.0 + a.0) \xrightarrow{\tau} a.0 + a.0 \\ &a.0 + a.0 \xrightarrow{a}_1 0 \\ &a.0 + a.0 \xrightarrow{a}_2 0 \\ \end{aligned}
But what about the second one?
