--------------------------------------------------------------------------------
-- T_Guarded.tex

-- To test the rule for guarded actions.
--------------------------------------------------------------------------------

\begin{zed}
  Color ::= blue | red
\end{zed} 

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

\begin{circus}
  \circchannel b
\end{circus}  

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

\begin{circus}      
      @ \circmu X @ a?x \then (x = 1 \guard b \then X)
\circend
\end{circus}
