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

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

\begin{circus}
\circprocess SingleWriting \circdef \circbegin 
\end{circus}
\begin{circusaction}
\circspot chan!5 à \Skip
\end{circusaction}
\begin{circus}
\circend
\end{circus}

\begin{circus}
\circprocess SingleDotComm \circdef \circbegin 
\end{circus}
\begin{circusaction}
\circspot chan.5 à \Skip
\end{circusaction}
\begin{circus}
\circend
\end{circus}


