
We investigate the specification and implementation of iterator components for dyadic Boolean operations in the setting of stream functions and state transition machines. We explicate the approach for the Boolean conjunction and study iterator components repeating this operation. The strict conjunction, the left-strict conjunction, the right- strict conjunction and the parallel conjunction differ in their reaction how they process F-elements from one input channel while waiting for input on the other input channel. We systematically transform the input/output behaviour into state-based implementations using a common history abstraction function. Beyond the particular application, we present general methods for the systematic design of iterator components in distributed systems with asynchronous communication.
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
