\begin{circus}
	\circchannel resultado: \{ 0, 1, 2, 3 \} \cross \{ 0, 1, 2, 3 \} \cross \{ 0, 3 \}
\end{circus}
\begin{circus}
	\circchannel resultado2: \{ 0, 1, 2, 3 \} \cross \{ 0, 1, 2, 3 \} %\cross \{ 0, 3 \}
\end{circus}

\begin{circus}
	\circchannel ganhacarro
\end{circus}

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

\begin{circusaction}
	\circspot
		resultado.0.2.1 \then ganhacarro \then \Skip
\end{circusaction}

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

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

\begin{circusaction}
	\circspot
		resultado.3.3.3 \then ganhacarro \then \Skip
\end{circusaction}

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

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

\begin{circusaction}
	\circspot
		resultado.3.3.3 \then ganhacarro \then \Skip
\end{circusaction}

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

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

\begin{circusaction}
	\circspot
		resultado.3.3.3 \then \ganhacarro \then \Skip
\end{circusaction}

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

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

\begin{circusaction}
	\circspot
		resultado2?x?y \then \Skip
\end{circusaction}

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

\begin{circus}
	\circprocess FILHOSGANHAMCARROS \circdef IDEAL \lpar \lchanset resultado, ganhacarro \rchanset \rpar (PEDRO \lpar \lchanset resultado, ganhacarro \rchanset \rpar (FRANCISCO \interleave BIANCA))
\end{circus}

%\begin{circus}
%	\circprocess SISTEMA \circdef FILHOSGANHAMCARROS \lpar \lchanset resultado, ganhacarro \rchanset \rpar POSSIBILIDADES
%\end{circus}