\begin{circus}
	\circchannel chan, chan2: \nat
\end{circus}

\begin{circus}
	\circchannel channotc
\end{circus}

\begin{circus}
	\circprocess CHNC \circdef \circbegin
\end{circus}
\begin{circusaction}
	\circspot channotc \then \Skip %\lpar | \lchanset channotc \rchanset | \rpar channotc \then \Skip
\end{circusaction}
\begin{circus}	
	\circend
\end{circus}

\begin{circus}
	\circprocess Ext \circdef \circbegin
\end{circus}
\begin{circusaction}
	\circspot 
		(chan?x \then \Skip)
		\extchoice
		(chan2?y \then \Skip)
\end{circusaction}
\begin{circus}	
	\circend
\end{circus}

\begin{circus}
	\circprocess Ext2 \circdef \circbegin
\end{circus}
\begin{circusaction}
	\circspot 
		(chan?x \then \Skip)
		\extchoice
		(chan2!5 \then \Skip)
\end{circusaction}
\begin{circus}	
	\circend
\end{circus}

\begin{circus}
	\circprocess Ext3 \circdef \circbegin
\end{circus}
\begin{circusaction}
	\circspot 
		(chan.3 \then \Skip)
		\extchoice
		(chan2!8 \then \Skip)
\end{circusaction}
\begin{circus}
	\circend
\end{circus}

%%%%%%OBSERVAÇÕES ABAIXO DE 08/06/2010
%%%%%LEGENDA:
	% (!!V!!): Deu certo. Está 100% como esperado
	% (Q): Deu quase tudo certo, exceto por um pequeno detalhe
	% (M): Mais ou menos... Não dá para dizer que está errado, mas também não dá para aceitar
	% (X): Nada está como esperado... Necessita urgente de reparo


%%%%%%%%%%%SOBRE ESTA ESPECIFICAÇÃO

	%(X). Precisa de reparos... A estratégia para escolha externa ainda tem alguns erros...