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

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

--Adaptado ao LATEX do parser 1.5.0 de CZT!!!

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

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

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

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

\begin{circusaction}      
      \circspot \circmu X \circspot a?x \then ( \lcircguard x = 1 \rcircguard
      \circguard b \then X)
\end{circusaction}

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