%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%TESTA O CASO ESPECIAL DE PARALELISMOS ENTRE PROCESSOS%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%AQUI, NO ENTANTO, OS PROCESSOS DE CHAMADA SÃO PARAMETRIZADOS%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

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

\begin{circus}
	\circchannel a
\end{circus}

\begin{circus}
	\circprocess PARAMP \circdef 
		x : \nat \circspot
	\circbegin
\end{circus}
\begin{circusaction}
\circspot p.x \then \Skip
\end{circusaction}
\begin{circus}
\circend
\end{circus}

\begin{circus}
	\circprocess NUMP \circdef
	\circbegin
\end{circus}
\begin{circusaction}
\circspot p.(2 + 3 - 5 + 7) \then \Skip
\end{circusaction}
\begin{circus}
\circend
\end{circus}

\begin{circus}
\circprocess PARAMPROC \circdef PARAMP (5) \interleave PARAMP (3) \interleave PARAMP (4)
\end{circus}

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

\begin{circusaction}
\circspot (a \then (a \then \Skip \interleave a \then \Skip)) \interleave (a \then (a \then \Skip \interleave a \then \Skip))
\end{circusaction}

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


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%