%Processos com intercalação forçada.

\begin{circus}
	\circchannel a, b, c, d, e, f: \nat
\end{circus}

\begin{circus}
	\circprocess IF1 \circdef \circbegin
\end{circus}
\begin{circusaction}
	\circspot 
		a.1 \then b.2 \then c.3 \then d!4 \then e.5 \then f!6 \then \Skip
\end{circusaction}
\begin{circus}	
	\circend
\end{circus}

\begin{circus}
	\circprocess IF2 \circdef \circbegin
\end{circus}
\begin{circusaction}
	\circspot 
		a.6 \then b?x \then c.3 \then d!4 \then e.1 \then f!11 \then \Skip
\end{circusaction}
\begin{circus}	
	\circend
\end{circus}

\begin{circus}
	\circprocess IF3 \circdef \circbegin
\end{circus}
\begin{circusaction}
	\circspot 
		a?x \then b?y \then c!3 \then d!1 \then e.8 \then f!12 \then \Skip
\end{circusaction}
\begin{circus}	
	\circend
\end{circus}

%Intercalação total entre IF1 e IF2. Todos os front-ends estarão sujeitos a reset
\begin{circus}
	\circprocess IFP1 \circdef IF1 \interleave IF2
\end{circus}

%Intercalação parcial entre IF1 e IF2. Todos os front-ends, exceto "a", estarão sujeitos a reset
\begin{circus}
	\circprocess IFP2 \circdef IF1 \lpar \lchanset a \rchanset \rpar IF2
\end{circus}

%Intercalação parcial entre IF1 e IF2. Todos os front-ends, exceto "a", estarão sujeitos a reset
\begin{circus}
	\circprocess IFP3 \circdef IF1 \lpar \lchanset a \rchanset \rpar IF2
\end{circus}

%Intercalação parcial entre IF1 e IF2. Todos os front-ends, exceto "a", "c" e "b", estarão sujeitos a reset
\begin{circus}
	\circprocess IFP4 \circdef IF1 \lpar \lchanset a, c, b \rchanset \rpar IF2
\end{circus}

%Intercalação parcial entre IF1 e IF2. Todos os front-ends, exceto "a", "c", "b" e "d", estarão sujeitos a reset
\begin{circus}
	\circprocess IFP5 \circdef IF1 \lpar \lchanset a, c, b, d \rchanset \rpar IF2
\end{circus}

%Intercalação parcial entre IF1 e IF2. Todos os front-ends, exceto "a", "c", "b", "d" e "e", estarão sujeitos a reset
\begin{circus}
	\circprocess IFP6 \circdef IF1 \lpar \lchanset a, c, b, d, e \rchanset \rpar IF2
\end{circus}

%Paralelismo sem intercalação forçada entre IF1 e IF2. Nenhum front-end será compartilhado ou estará sujeito a reset
\begin{circus}
	\circprocess IFP7 \circdef IF1 \lpar \lchanset a, c, b, d, e, f \rchanset \rpar IF2
\end{circus}

