23.08.2013 Views

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

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

23<br />

Computing the function of a network<br />

challenges models kpn rpn<br />

the hierarchy the future<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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!