--------------------------------------------------------------------------------
-- T_SelfParallel.tex

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

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

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

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

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

Single synchronization on ch.
\begin{circus}  
\circprocess SelfParallelQ \circdef 
        SelfParallelP
            \lpar \lchanset ch \rchanset \rpar 
        SelfParallelP
\end{circus}

Multi synchronization on ch.
\begin{circus}
\circprocess SelfParallelR \circdef 
        SelfParallelP 
            \lpar \lchanset ch \rchanset \rpar 
        ( SelfParallelP 
            \lpar \lchanset ch \rchanset \rpar 
        SelfParallelP )
\end{circus}
