-- Paralelismo2a2.tex
--
-- Three identical processes, A, B and C, that synchronise on channel c.
-- Parallel composition of two processes at a time.
--------------------------------------------------------------------------------

--ADAPTADO AO LATEX DO NOVO PARSER, 1.5.0

\begin{circus}
  \circchannel c
\end{circus}  

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

\begin{circusaction}
    \circspot c \then \Skip
\end{circusaction}

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

\begin{circus}  
\circprocess Par22B \circdef \circbegin
\end{circus}
	
\begin{circusaction}
    \circspot c \then \Skip
\end{circusaction}

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

\begin{circus}  
\circprocess Par22C \circdef \circbegin
\end{circus}
	
\begin{circusaction}
    \circspot c \then \Skip
\end{circusaction}

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



:: Parallelism of A and B.

\begin{circus}  
\circprocess Par22ParAB \circdef Par22A \lpar \lchanset c \rchanset \rpar Par22B
\end{circus}


:: Parallelism of B and C.

\begin{circus}  
\circprocess Par22ParBC \circdef Par22B \lpar \lchanset c \rchanset \rpar Par22C
\end{circus}


:: Parallelism of A and C.

\begin{circus}  
\circprocess Par22ParAC \circdef Par22A \lpar \lchanset c \rchanset \rpar Par22C
\end{circus}
