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.
25<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 />
challenges models kpn rpn<br />
the hierarchy the future