Juliano Cardoso / circusRefine

exemploNotMS.tex 566 Bytes
edit raw blame history 
  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
\begin{circus}
	\circchannel a : \nat \cross \nat \cross \nat
\end{circus}

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

\begin{circusaction}
	\circspot
		a.5.6?x \then \Skip
\end{circusaction}

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

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

\begin{circusaction}
	\circspot
		a.5.6!3 \then \Skip
\end{circusaction}

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

\begin{circus}
	\circprocess NotMS \circdef P1 \lpar \lchanset a \rchanset \rpar P2
\end{circus}