A fixpoint semantics for 'memory cells' in synchronous dataflows

摘要

We study an iteration operation modeling the repeated behavior of syn-chronous dataflows in which all partial results are issued and also memorized for the next computation step. The definition is by means of a fixpoint equation. We prove some equational