-- T_MSExtChoice.tex
--
-- To test multi-sync (m1 and m2) and simple sync (mn) in an external choice.
--
--------------------------------------------------------------------------------

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

\begin{circus}
\circchannel m1, m2, mn
\end{circus}

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

\begin{circusaction}  	
    \circspot 
    (m1 \then \Skip) 
    \extchoice 
    (m2 \then \Skip) 
    \extchoice 
    (mn \then \Skip)
\end{circusaction}

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

\begin{circus}  
\circprocess MSECB \circdef \circbegin
\end{circus}
	
\begin{circusaction}  	
    \circspot 
    (m1 \then \Skip) 
    \extchoice 
    (m2 \then \Skip)
\end{circusaction}

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

\begin{circus}  
\circprocess MSECC \circdef \circbegin
\end{circus}
	
\begin{circusaction}  	
    \circspot 
    (m1 \then \Skip) 
    \extchoice 
    (m2 \then \Skip) 
    \extchoice 
    (mn \then \Skip)
\end{circusaction}

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

\begin{circus}  
\circprocess MSECParABC \circdef 
    MSECA
        \lpar \lchanset m1, m2 \rchanset \rpar 
    ( MSECB 
        \lpar \lchanset m1, m2 \rchanset \rpar 
    MSECC )
\end{circus}
