\begin{zed}
DESEJO ::= namoro | amizade
\end{zed}
\begin{circus}
	\circchannel desejo : DESEJO
\end{circus}
\begin{circus}
	\circchannel integ : \nat
\end{circus}

\begin{circus}
	\circprocess PEDRINHO \circdef \circbegin
\end{circus}

\begin{circusaction}
	\circspot desejo.namoro \then \Skip
\end{circusaction}
\begin{circus}
\circend
\end{circus}

\begin{circus}
	\circprocess MARIA \circdef \circbegin
\end{circus}

\begin{circusaction}
	\circspot desejo?x \then \Skip
\end{circusaction}
\begin{circus}
\circend
\end{circus}

%%%%%%A PRESENÇA DESSE AQUI TÁ GERANDO ERRO DE COMPILAÇÃO NO CÓDIGO GERADO. ISTO OCORRE PORQUE NO MOMENTO NÃO TEMOS UMA ESTRATÉGIA DE TRADUÇÃO PARA ESCOLHA EXTERNA ENTRE AÇÕES COM COMUNICAÇÃO CUJA TRADUÇÃO É DE LEITURA OU ESCRITA DE SINCRONIZAÇÃO SIMPLES
%\begin{circus}
%	\circprocess EXTPM \circdef \circbegin
%\end{circus}

%\begin{circusaction}
%	\circspot desejo!namoro \then \Skip \extchoice desejo?x \then \Skip
%\end{circusaction}
%\begin{circus}
%\circend
%\end{circus}
