\begin{circus}
	\circchannel chan, %Vai ser usado com DotFields, apenas
				chan2, %Vai ser usado com um DotField e um OutputField em sync simples
				chan3, %Vai ser usado com um DotField e OutputField em multi-sync
				chan4, chan7: \nat \cross \nat
\end{circus}

\begin{circus}
	\circchannel chan5, chan6, c1, c2: \nat
\end{circus}


%Parágrafo de processo
\begin{circus}
	\circprocess P \circdef \circbegin
\end{circus}

\begin{circusaction}
	\circspot 
		chan.6.5
		\then chan.7.(\negate 5)
		\then \Skip
\end{circusaction}

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