Enhanced Regular Corecursion for Data Streams

Davide Ancona, Pietro Barbieri, Elena Zucca

We propose a simple calculus for processing data streams (infinite flows of data series), represented by finite sets of equations built on stream operators. Furthermore, functions…