\begin{circus}
	\circchannel a, b, c, d
\end{circus}
\begin{circus}
	\circprocess P \circdef \circbegin %A transformação da árvore de P está correta
\end{circus}

%\begin {circusaction}
%	A \circdef \circmu Y \circspot a \then \Skip \circseq Y
%\end{circusaction}

\begin {circusaction}
	\circspot \circmu X \circspot (a \then \Skip \circseq X) \extchoice (b \then ( \circmu Y \circspot ( (c \then \Skip \circseq Y) \extchoice (d \then \Skip \circseq X) )))
\end{circusaction}

\begin{circus}
\circend
\end{circus}
