--------------------------------------------------------------------------------
-- T_SyncOnMultiple.tex

-- This test is to investigate how to define which is the reader and writer on a 
-- synchronization of a generic channel.
--------------------------------------------------------------------------------

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

\begin{zed} %\begin{zed}
  Colour ::= blue | red | green | yellow
\end{zed}  


\begin{circus}
  \circchannel [X]c : X
\end{circus}


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

\begin{circusaction}
      \circspot c[~Colour~].blue \then \Skip
\end{circusaction}

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

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

\begin{circusaction}
      \circspot c[~Colour~].blue \then \Skip
\end{circusaction}

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

\begin{circus}
    \circprocess SyncOnMultipleR \circdef 
        SyncOnMultipleP 
            \lpar \lchanset c[Colour] \rchanset \rpar 
        SyncOnMultipleQ
\end{circus}
