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

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

\begin{circus}  
\circprocess MSEC_A \defs \circbegin
\end{circus}

\begin{circus}  	
    @ 
    (m1 \then Skip) 
    \extchoice 
    (m2 \then Skip) 
    \extchoice 
    (mn \then Skip)
\circend
\end{circus}

\begin{circus}  
\circprocess MSEC_B \defs \circbegin
\end{circus}
	
\begin{circus}  	
    @ 
    (m1 \then Skip) 
    \extchoice 
    (m2 \then Skip)
\circend
\end{circus}

\begin{circus}  
\circprocess MSEC_C \defs \circbegin
\end{circus}
	
\begin{circus}  	
    @ 
    (m1 \then Skip) 
    \extchoice 
    (m2 \then Skip) 
    \extchoice 
    (mn \then Skip)
\circend
\end{circus}

\begin{circus}  
\circprocess MSEC_Par_ABC \defs 
    MSEC_A 
        \lpar \lchanset m1, m2 \rchanset \rpar 
    MSEC_B 
        \lpar \lchanset m1, m2 \rchanset \rpar 
    MSEC_C
\end{circus}
