Juliano Cardoso / circusRefine

exemploInter2.tex 778 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
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
\begin{circus}
	\circchannel a, b, c
\end{circus}

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

\begin{circusaction}
	\circspot
		a \then b \then c \then \Skip
\end{circusaction}

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

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

\begin{circusaction}
	\circspot
		a \then b \then c \then \Skip
\end{circusaction}

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

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

\begin{circusaction}
	\circspot
		a \then b \then c \then \Skip
\end{circusaction}

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

\begin{circus}
	\circprocess P4 \circdef (P1 \interleave P2) \lpar \lchanset a \rchanset \rpar P3
\end{circus}