%Processos intercalados. Apesar de a sincronização ser simples, o canal terá dimensão 1

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

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

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

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

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

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

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

\begin{circus}
	\circprocess MSInter \circdef MS1 \lpar \lchanset chan2 \rchanset \rpar MS2
\end{circus}