--------------------------------------------------------------------------------
-- T_SelfParallel2.tex

-- To test the case where a process P is composed in parallel
-- with itself. In the multi-sync case (R), a process Q, which 
-- is the parallelism of two copies of P, is composed again 
-- with another copy of P.
--------------------------------------------------------------------------------

-- ADAPTADO AO LATEX DO NOVO PARSER, 1.5.0

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

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

\begin{circus}
    \circspot a \then Skip
  \circend
\end{circus}

\begin{circus}
  \circprocess ParSimple_Q \circdef 
        ParSimple_P 
            \lpar \lchanset a \rchanset \rpar 
        ParSimple_P
\end{circus}

\begin{circus}
  \circprocess  ParSimple_R \circdef 
        ParSimple_Q 
            \lpar \lchanset a \rchanset \rpar 
        ParSimple_P
\end{circus}
