Juliano Cardoso / circusRefine

complex_comms.tex 1.53 KB
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
%Aqui variamos tanto o número de campos de comunicação, como também o número de valores do tipo

%\{0, 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, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99\}

%\begin{circus}
%\circchannel c : \{0, 1\} \cross \{0, 1, 2, 3, 4, 5, 6, 7, 8, 9\}
%\end{circus}
%\begin{circus}
%\circchannel c2 : \{0, 1\} \cross \{0, 1, 2, 3\}
%\end{circus}
\begin{circus}
\circchannel c3 :
	\{0, 1, 2, 3, 4, 5\}%, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24\}
	\cross 
	\{0, 1, 2, 3, 4, 5\}%, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24\}
	%\cross 
	%\{0, 1, 2, 3, 4, 5\}%, 6, 7, 8, 9, 10, 11, 12, 13, 14\}
	%\cross 
	%\{0, 1\}
	%\cross 
	%\{0, 1\}
	%\cross 
	%\{0, 1\}
	%\cross 
	%\{0, 1\}
	%\cross 
	%\{0, 1\}
	%\cross 
	%\{0, 1\}
	%\cross 
	%\{0, 1\}
\end{circus}

%\circprocess CCC \circdef \circbegin \\
%	A1 \circdef a: \{0, 1\}; b: \{0, 1, 2, 3\} \circspot \Skip \\
%	A2 \circdef a: \{0, 1\}; b: \{0, 1, 2, 3\} \circspot \Skip \\
%	\circspot c?x?y \then A1 (x, y) \extchoice c2?x?y \then A2 (x, y)
%\circend
\begin{circus}
\circprocess CCC2 \circdef \circbegin \\
	\circspot c3?x?y %?z?w %?t %?u %?v %?a?b?c
		\then \Skip
\circend
\end{circus}