%Processos com canais em ambientes multi-sincronizados. Apesar de a sincronização ser simples, o canal chan deverá ter dimensão 1.

\begin{circus}
	\circchannel chan: \nat \cross \nat
\end{circus}

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

\begin{circus}
	\circchannel chan3
\end{circus}

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

\begin{circusaction}
	\circspot 
		chan3
		\then \Skip
\end{circusaction}

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

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

\begin{circusaction}
	\circspot 
		chan3
		\then \Skip
\end{circusaction}

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

\begin{circus}
	\circprocess MSSS \circdef SS1 \lpar \lchanset chan \rchanset \rpar SS2
\end{circus}

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

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

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

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

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

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

\begin{circus}
	\circprocess MSSimpleComm \circdef SS3 \lpar \lchanset chan2 \rchanset \rpar SS4
\end{circus}

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

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

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

