\begin{circus}
	\circchannel chan : \nat \cross \nat
\end{circus}
\begin{circus}
	\circprocess A \circdef \circbegin
		\circspot chan?x \then \Skip
	\circend
\end{circus}

\begin{circus}
	\circprocess B \circdef \circbegin
		\circspot chan?x \then \Skip
	\circend
\end{circus}

\begin{circus}
	\circprocess C \circdef A \lpar \lchanset chan \rchanset \rpar B
\end{circus}
