--------------------------------------------------------------------------------
-- To test the case where a process is composed in parallel
-- with itself. Both situations of single and multi-synchronization 
-- are tested.
--------------------------------------------------------------------------------

--ADAPTADO AO LATEX DO NOVO PARSER, 1.5.0 DE CZT

\begin{circus}  
    \circchannel ch
\end{circus}

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

    \begin{circusaction}
    Act \circdef ch \then \Skip
    \end{circusaction}

\begin{circusaction}
      \circspot Act
\end{circusaction}

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

Single synchronization: P |[]| P
\begin{circus}  
    \circprocess SPQ \circdef SPP \lpar \lchanset ch \rchanset \rpar SPP
\end{circus}

Multi synchronization: P |[]| P |[]| P
\begin{circus}
    \circprocess SPR \circdef SPP 
    \lpar \lchanset ch \rchanset \rpar ( SPP \lpar \lchanset ch \rchanset \rpar
    SPP )
\end{circus}
