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

%Processo traduzido como de sincronização simples, e com canal chan de input. Assim, sua GUI para este canal deverá ter um número de campos de texto igual %ao número de valores comunicados por chan diminuído de 1
\begin{circus}
	\circprocess MG1 \circdef \circbegin
\end{circus}

\begin{circusaction}
	\circspot
		chan?x
		\then \Skip
\end{circusaction}

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

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

\begin{circusaction}
	\circspot 
		chan!5
		\then \Skip
\end{circusaction}

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

\begin{circus}
	\circprocess MGPAR \circdef MG1 \lpar \lchanset chan \rchanset \rpar MG2
\end{circus}

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

\begin{circusaction}
	\circspot 
		chan2.5
		\then \Skip
\end{circusaction}

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

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

\begin{circusaction}
	\circspot
		chan2?x
		\then \Skip
\end{circusaction}

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

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

\begin{circusaction}
	\circspot
		chan2!5
		\then \Skip
\end{circusaction}

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

\begin{circus}
	\circprocess MGPAR2 \circdef (MG4 \lpar \lchanset chan2 \rchanset \rpar MG5) \lpar \lchanset chan2 \rchanset \rpar MG3
\end{circus}
