Kahn Process Networks and a Reactive Extension - Lorentz Center
Kahn Process Networks and a Reactive Extension - Lorentz Center
Kahn Process Networks and a Reactive Extension - Lorentz Center
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
28<br />
U i<br />
Kleene iteration<br />
U 0 = ε<br />
U i+1 = S(I,0U i,00U i)<br />
ε<br />
S: elementwise sum<br />
h 0: prefix a 0<br />
h 1: copy<br />
the continuous function of a network<br />
is the least fixpoint<br />
of a set of fixpoint equations<br />
<strong>and</strong> can be computed via a<br />
Kleene iteration<br />
U = S(I,0U,00U)<br />
i = 0 1 2 3 4 5 6 7 8 9 10<br />
1 11 112 1123 … 5 … 8 … 13 … 21 … 34 … 55<br />
U(0) U(1) U(2) U(3) U(4) U(5) U(6) U(7) U(8) U(9)<br />
challenges models kpn rpn<br />
the hierarchy the future
Change language