-- T_MS2.tex
--
-- This is similar to T_MS, but with only one channel, a, and no value being
-- communicated.
--
--------------------------------------------------------------------------------

\begin{circus}
  \circchannel a
\end{circus}  

The process A reads from the channel.

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

\begin{circus}  	
    @ a \then Skip
\circend
\end{circus}

Process B reads from the channel.
\begin{circus}  
\circprocess MS2_B \defs \circbegin
\end{circus}
	
\begin{circus}  	
    @ a \then Skip
\circend
\end{circus}

Process C writes on the channel.

\begin{circus}  
\circprocess MS2_C \defs \circbegin
\end{circus}
	
\begin{circus}  	
    @ a \then Skip
\circend
\end{circus}


:: Intchoice between A and B. There is no parallelism, and channel a will appear in the gui.

\begin{circus}  
\circprocess MS2_Int_AB \defs MS2_A \intchoice MS2_B
\end{circus}


:: Intchoice between A and B, in parallel with C. Single-sync, channel not in gui.

\begin{circus}  
\circprocess MS2_Int_AB_Par_C \defs MS2_Int_AB \lpar \lchanset a \rchanset \rpar MS2_C
\end{circus}


:: Parallelism between A and B. Single-sync, channel not in gui.

\begin{circus}  
\circprocess MS2_Par_AB \defs MS2_A \lpar \lchanset a \rchanset \rpar MS2_B
\end{circus}


:: Parallelism between A, B and C. Multi-sync, channel not in gui.

\begin{circus}  
\circprocess MS2_Par_ABC \defs MS2_Par_AB \lpar \lchanset a \rchanset \rpar MS2_C
\end{circus}

:: Intchoice between A and B, in parallel with C, anonymous. Single-sync, channel not in gui.

\begin{circus}  
\circprocess MS2_Int_AB_Par_C_ano \defs MS2_A \intchoice MS2_B \lpar \lchanset a \rchanset \rpar MS2_C
\end{circus}

:: Parallelism between A, B and C, anonymous. Multi-sync, channel not in gui.

\begin{circus}  
\circprocess MS2_Par_ABC_ano \defs MS2_A \lpar \lchanset a \rchanset \rpar MS2_B \lpar \lchanset a \rchanset \rpar MS2_C
\end{circus}

:: Parallelism between A and C. Single-sync, channel not in gui.

\begin{circus}  
\circprocess MS2_Par_AC \defs MS2_A \lpar \lchanset a \rchanset \rpar MS2_C
\end{circus}

